[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 0b510f: Simplify PHP 7.1 test setup