assertTrue( version_compare('7.1.3', PHP_VERSION, '<='), 'phpMyAdmin requires PHP 7.1.3 or above' ); } }