diff --git a/src/_h5ai/public/index.php b/src/_h5ai/public/index.php index 2d1eac27..493b0350 100644 --- a/src/_h5ai/public/index.php +++ b/src/_h5ai/public/index.php @@ -4,7 +4,7 @@ define('MIN_PHP_VERSION', '5.4.0'); if (!function_exists('version_compare') || version_compare(PHP_VERSION, MIN_PHP_VERSION, '<')) { header('Content-type: text/plain;charset=utf-8'); - echo '[err] h5ai requires PHP ' . MIN_PHP_VERSION . ' or later, but found PHP ' . PHP_VERSION; + echo '[err] h5ai requires PHP ' . MIN_PHP_VERSION . ' or later, but found PHP ' . PHP_VERSION; exit; }