From 44a60b8668fc1456dc4e49066ffb6af14c8d2083 Mon Sep 17 00:00:00 2001
From: Nicolas Vigier <boklm@mageia.org>
Date: Sat, 29 Sep 2012 08:39:08 +0000
Subject: exit if config directory doesn't exist

---
 modules/mediawiki/files/init_wiki.php | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'modules')

diff --git a/modules/mediawiki/files/init_wiki.php b/modules/mediawiki/files/init_wiki.php
index 926c52fc..a0e3a520 100644
--- a/modules/mediawiki/files/init_wiki.php
+++ b/modules/mediawiki/files/init_wiki.php
@@ -2,6 +2,10 @@
 $wiki_root = $argv[1];
 $mw_root = '/usr/share/mediawiki';
 
+if (!is_dir("$wiki_root/config")) {
+    exit(1);
+}
+
 // DefaultSettings.php complain if not defined
 define('MEDIAWIKI',1);
 
-- 
cgit v1.2.1