[phpMyAdmin Git] [phpmyadmin/error-reporting-server] 224aa5: Test against PHP 7.2 as that is our production set...