From 9fde25fc8ed20d2f0a3462adef84e4dd7affafd0 Mon Sep 17 00:00:00 2001 From: Lars Jung Date: Wed, 20 May 2015 03:25:15 +0200 Subject: [PATCH] Tweaks. --- src/_h5ai/public/index.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; }