From 476197569f454cd5f37582bff1e0d40097df6ee9 Mon Sep 17 00:00:00 2001
From: Mikael Nordfeldth <mmn@hethane.se>
Date: Fri, 4 Sep 2015 22:24:01 +0200
Subject: [PATCH] sys_get_temp_dir was added in PHP 5 >= 5.2.1

Our requirements are higher than that, so let's just remove the workaround
---
 extlib/get_temp_dir.php | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 extlib/get_temp_dir.php

diff --git a/extlib/get_temp_dir.php b/extlib/get_temp_dir.php
deleted file mode 100644
index 4ec96e5221..0000000000
--- a/extlib/get_temp_dir.php
+++ /dev/null
@@ -1,14 +0,0 @@
-<?php
-if ( !function_exists('sys_get_temp_dir')) {
-	function sys_get_temp_dir() {
-		if (!empty($_ENV['TMP'])) { return realpath($_ENV['TMP']); }
-		if (!empty($_ENV['TMPDIR'])) { return realpath( $_ENV['TMPDIR']); }
-		if (!empty($_ENV['TEMP'])) { return realpath( $_ENV['TEMP']); }
-		$tempfile=tempnam(uniqid(rand(),TRUE),'');
-		if (file_exists($tempfile)) {
-			unlink($tempfile);
-		}
-		return realpath(dirname($tempfile));
-	}
-}
-?>