r15514 MediaWiki - Code Review archive

Repository:	MediaWiki
Revision:	< r15513‎ \| r15514 \| r15515 >
Date:	20:20, 10 July 2006
Author:	robchurch
Status:	old
Tags:
Comment:	Yep, it's unused. There's no real need for a stupid comment pointing out the plain obvious. There wasn't a real need for that last modification either, mind.
Modified paths:	/trunk/extensions/Patroller/Patroller.class.php (modified) (history)

Diff [purge]

Index: trunk/extensions/Patroller/Patroller.class.php
—	—	@@ -21,9 +21,6 @@
22	22	SpecialPage::SpecialPage( 'Patrol', 'patroller' );
23	23	}
24	24
25		- /**
26		~~- * @param $par Parameters used by SpecialPage. UNUSED.~~
27		~~- */~~
28	25	function execute( $par ) {
29	26	global $wgUser, $wgRequest, $wgOut;
30	27	$this->setHeaders();