[phpMyAdmin Git] [phpmyadmin/sql-parser] 724b23: Partial revert "Bump minimum version to PHP 7.1"