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