[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 764228: Disable runkit install for PHP 7.1