From 872be4ba1953d3fdd14f06b874eb0593f3606b49 Mon Sep 17 00:00:00 2001
From: Lars Jung <lrsjng@gmail.com>
Date: Fri, 23 Aug 2013 23:26:31 +0200
Subject: [PATCH] Removes unused method.

---
 src/_h5ai/server/php/inc/util.php | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/src/_h5ai/server/php/inc/util.php b/src/_h5ai/server/php/inc/util.php
index 28d04562..e952499b 100644
--- a/src/_h5ai/server/php/inc/util.php
+++ b/src/_h5ai/server/php/inc/util.php
@@ -77,17 +77,4 @@ function load_commented_json($file) {
 	return json_decode($str, true);
 }
 
-/* unused
-function merge_config($a, $b) {
-
-	$result = array_merge(array(), $a);
-
-	foreach ($b as $key => $value) {
-		$result[$key] = array_merge($result[$key], $b[$key]);
-	}
-
-	return $result;
-}
-*/
-
 ?>
\ No newline at end of file