From da761ec2d088892fe77bd9eb2a15cfdc2bbb83e5 Mon Sep 17 00:00:00 2001 From: Michael Scherer Date: Fri, 17 Jun 2011 12:21:02 +0000 Subject: remove file in config/ directory before removing the directory ( as rm_dir requires a empty directory ) --- modules/mediawiki/files/init_wiki.php | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'modules/mediawiki/files/init_wiki.php') diff --git a/modules/mediawiki/files/init_wiki.php b/modules/mediawiki/files/init_wiki.php index bb2137ae..926c52fc 100644 --- a/modules/mediawiki/files/init_wiki.php +++ b/modules/mediawiki/files/init_wiki.php @@ -20,5 +20,10 @@ $wgDatabase = $dbc->newFromParams($wgDBserver, $wgDatabase->initial_setup($wgDBpassword, $wgDBname); $wgDatabase->setup_database(); -rmdir("$wiki_root/config"); +$dir = "$wiki_root/config"; +foreach (scandir($dir) as $item) { + if (!is_dir($item) || is_link($item)) + unlink($item); +} +rmdir("$dir"); ?> -- cgit v1.2.1