Robuta

https://lists.phpmyadmin.net/mailman3/hyperkitty/list/git@phpmyadmin.net/message/2YYOIDFNNGYZ2OZZCZUYD6MHZP3KNDA5/ [phpMyAdmin Git] [phpmyadmin/phpmyadmin] 413378: Add Psalm Type Coverage badge - Git -... phpmyadmin git add psalm type