From a22fbfc60f36f5f7ee10d5ae6fe347340c2ee67c Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Sat, 3 Dec 2011 09:20:55 +0100
Subject: Update to MediaWiki 1.17.1

---
 maintenance/purgeList.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'maintenance/purgeList.php')

diff --git a/maintenance/purgeList.php b/maintenance/purgeList.php
index 17be6d3d..2c0308c0 100644
--- a/maintenance/purgeList.php
+++ b/maintenance/purgeList.php
@@ -43,7 +43,7 @@ class PurgeList extends Maintenance {
 					$url = $title->getFullUrl();
 					$this->output( "$url\n" );
 					$urls[] = $url;
-					if ( $this->getOptions( 'purge' ) ) {
+					if ( $this->getOption( 'purge' ) ) {
 						$title->invalidateCache();
 					}
 				} else {
-- 
cgit v1.2.2