[phpMyAdmin Git] [phpmyadmin/error-reporting-server] 0ed4d3: Set correct user agent