From c1f9b1f7b1b77776192048005dcc66dcf3df2bfb Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Sat, 27 Dec 2014 15:41:37 +0100
Subject: Update to MediaWiki 1.24.1

---
 mw-config/index.php5 | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'mw-config/index.php5')

diff --git a/mw-config/index.php5 b/mw-config/index.php5
index bc9e891b..88986532 100644
--- a/mw-config/index.php5
+++ b/mw-config/index.php5
@@ -1,7 +1,7 @@
 <?php
 /**
- * Version of mw-config/index.php to used in web server requiring .php5
- * extension to execute scripts with PHP5 engine.
+ * Version of mw-config/index.php to be used in web servers that require the .php5
+ * extension to execute scripts with the PHP5 engine.
  *
  * This program is free software; you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -21,5 +21,6 @@
  * @file
  */
 
-define('MW_INSTALL_PHP5_EXT', 1);
+define( 'MW_INSTALL_PHP5_EXT', 1 );
+
 require './index.php';
-- 
cgit v1.2.2