From: Roan Kattouw <catrope@users.mediawiki.org>
Date: Thu, 30 Jun 2011 15:15:54 +0000 (+0000)
Subject: Fix fatal in r77354 (!!), discovered this when purgeList.php fataled on me on the... 
X-Git-Tag: 1.31.0-rc.0~29160
X-Git-Url: https://git.cyclocoop.org/%7B%24admin_url%7Dmembres/modifier.php?a=commitdiff_plain;h=ae51814cb2df834dc9f4b27b5eb0714505bab73f;p=lhc%2Fweb%2Fwiklou.git

Fix fatal in r77354 (!!), discovered this when purgeList.php fataled on me on the WMF cluster
---

diff --git a/maintenance/purgeList.php b/maintenance/purgeList.php
index 2ae4b222ff..9072b4215c 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 {