diff --git a/src/_h5ai/server/php/inc/util.php b/src/_h5ai/server/php/inc/util.php index bed071e6..28d04562 100644 --- a/src/_h5ai/server/php/inc/util.php +++ b/src/_h5ai/server/php/inc/util.php @@ -77,6 +77,7 @@ function load_commented_json($file) { return json_decode($str, true); } +/* unused function merge_config($a, $b) { $result = array_merge(array(), $a); @@ -87,5 +88,6 @@ function merge_config($a, $b) { return $result; } +*/ ?> \ No newline at end of file diff --git a/src/_h5ai/server/php/index.php b/src/_h5ai/server/php/index.php index 50333101..fdbe6bc8 100644 --- a/src/_h5ai/server/php/index.php +++ b/src/_h5ai/server/php/index.php @@ -1,7 +1,7 @@