diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2012-05-03 13:01:35 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2012-05-03 13:01:35 +0200 |
commit | d9022f63880ce039446fba8364f68e656b7bf4cb (patch) | |
tree | 16b40fbf17bf7c9ee6f4ead25b16dd192378050a /includes/SeleniumWebSettings.php | |
parent | 27cf83d177256813e2e802241085fce5dd0f3fb9 (diff) |
Update to MediaWiki 1.19.0
Diffstat (limited to 'includes/SeleniumWebSettings.php')
-rw-r--r-- | includes/SeleniumWebSettings.php | 18 |
1 files changed, 0 insertions, 18 deletions
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 |