From 5f2751885228b9ca97fff20fc5b35a03b7ef45e9 Mon Sep 17 00:00:00 2001 From: Lars Jung Date: Wed, 10 Jul 2013 23:11:44 +0200 Subject: [PATCH] Some comments. --- src/_h5ai/server/php/inc/util.php | 2 ++ src/_h5ai/server/php/index.php | 8 ++++---- 2 files changed, 6 insertions(+), 4 deletions(-) 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 @@