[phpMyAdmin Git] [phpmyadmin/coding-standard] 74cb93: Test against PHP 7.2 as well