[phpMyAdmin News] Quick fix for phpMyAdmin 4.9.0.1