[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 0dcd92: Fix color for PHP code