From 4ac9fa081a7c045f6a9f1cfc529d82423f485b2e Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Sun, 8 Dec 2013 09:55:49 +0100
Subject: Update to MediaWiki 1.22.0

---
 extensions/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'extensions/README')

diff --git a/extensions/README b/extensions/README
index 66236e85..e8150623 100644
--- a/extensions/README
+++ b/extensions/README
@@ -27,4 +27,4 @@ The following code snippet lets you override the default path:
  if( $IP === false ) {
 	$IP = __DIR__ . '/../..';
  }
- require_once( "$IP/maintenance/Maintenance.php" ); // a MediaWiki core file
+ require_once "$IP/maintenance/Maintenance.php"; // a MediaWiki core file
-- 
cgit v1.2.2