From 63601400e476c6cf43d985f3e7b9864681695ed4 Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Fri, 18 Jan 2013 16:46:04 +0100
Subject: Update to MediaWiki 1.20.2

this update includes:
* adjusted Arch Linux skin
* updated FluxBBAuthPlugin
* patch for https://bugzilla.wikimedia.org/show_bug.cgi?id=44024
---
 maintenance/userOptions.inc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'maintenance/userOptions.inc')

diff --git a/maintenance/userOptions.inc b/maintenance/userOptions.inc
index a6659fe7..2a066579 100644
--- a/maintenance/userOptions.inc
+++ b/maintenance/userOptions.inc
@@ -25,7 +25,7 @@
 $options = array( 'list', 'nowarn', 'quiet', 'usage', 'dry' );
 $optionsWithArgs = array( 'old', 'new' );
 
-require_once( dirname( __FILE__ ) . '/commandLine.inc' );
+require_once( __DIR__ . '/commandLine.inc' );
 
 /**
  * @ingroup Maintenance
@@ -76,7 +76,7 @@ class userOptions {
 	 * @param $opts array
 	 * @param $args array
 	 *
-	 * @return true
+	 * @return bool
 	 */
 	private function initializeOpts( $opts, $args ) {
 
-- 
cgit v1.2.2