[phpMyAdmin Git] [phpmyadmin/error-reporting-server] e3f33e: Some minor fixes