[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 10b3ea: Remove invalid `covers` annotations