[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 788aed: Fix js-lint errors after pull-request #15848