From a62d9311e16b9ac5b0f44fbbad6d9ffeb460333a Mon Sep 17 00:00:00 2001
From: Lars Jung <lrsjng@gmail.com>
Date: Fri, 30 Aug 2013 13:36:16 +0200
Subject: [PATCH] Removes unused code.

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

diff --git a/src/_h5ai/server/php/inc/util.php b/src/_h5ai/server/php/inc/util.php
index e952499b..db5294dc 100644
--- a/src/_h5ai/server/php/inc/util.php
+++ b/src/_h5ai/server/php/inc/util.php
@@ -48,11 +48,6 @@ function use_optional_request_params($keys) {
 	return $values;
 }
 
-function delete_tempfile($file) {
-
-	@unlink($file);
-}
-
 function starts_with($sequence, $head) {
 
 	return substr($sequence, 0, strlen($head)) === $head;