From d9022f63880ce039446fba8364f68e656b7bf4cb Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 3 May 2012 13:01:35 +0200
Subject: Update to MediaWiki 1.19.0

---
 includes/SeleniumWebSettings.php | 18 ------------------
 1 file changed, 18 deletions(-)

(limited to 'includes/SeleniumWebSettings.php')

diff --git a/includes/SeleniumWebSettings.php b/includes/SeleniumWebSettings.php
index 56afa929..34d829ca 100644
--- a/includes/SeleniumWebSettings.php
+++ b/includes/SeleniumWebSettings.php
@@ -201,21 +201,3 @@ function switchToTestResources( $testResourceName, $switchDB = true ) {
 	$testUploadPath = getTestUploadPathFromResourceName( $testResourceName );
 	$wgUploadPath = $testUploadPath;
 }
-
-function wfRecursiveRemoveDir( $dir ) {
-	// taken from http://de3.php.net/manual/en/function.rmdir.php#98622
-	if ( is_dir( $dir ) ) {
-		$objects = scandir( $dir );
-		foreach ( $objects as $object ) {
-			if ( $object != "." && $object != ".." ) {
-				if ( filetype( $dir . '/' . $object ) == "dir" ) {
-					wfRecursiveRemoveDir( $dir . '/' . $object );
-				} else {
-					unlink( $dir . '/' . $object );
-				}
-			}
-		}
-		reset( $objects );
-		rmdir( $dir );
-	}
-}
\ No newline at end of file
-- 
cgit v1.2.3-54-g00ecf