[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 1ed550: Use PHP 7.1 for OS X tests