From 0edd6983ba69e8195fa7cade96eca27df9ebf237 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Tue, 5 Mar 2013 09:06:02 +0100
Subject: Update to MediaWiki 1.20.3

---
 maintenance/mwdoc-filter.php | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'maintenance')

diff --git a/maintenance/mwdoc-filter.php b/maintenance/mwdoc-filter.php
index ab05a3e2..6eeb48d3 100644
--- a/maintenance/mwdoc-filter.php
+++ b/maintenance/mwdoc-filter.php
@@ -11,6 +11,10 @@
  * @file
  */
 
+if ( PHP_SAPI != 'cli' ) {
+	die( "This filter can only be run from the command line.\n" );
+}
+
 $source = file_get_contents( $argv[1] );
 $regexp = '#\@var\s+([^\s]+)([^/]+)/\s+(var|public|protected|private)\s+(\$[^\s;=]+)#';
 $replac = '${2} */ ${3} ${1} ${4}';
-- 
cgit v1.2.2