Difference between revisions 607214 and 607816 on mediawikiwiki

__TOC__
==TopTenPages.php==
<syntaxhighlight lang="php">
<?php
 
# To install the extension, add to your LocalSettings.php:
# require_once("$IP/extensions/TopTenPages.php");

(contracted; show full)			$this->limit = (int)$parts[1];
		}
		$this->setListoutput( false );
		$this->shownavigation = !$inc;
		parent::execute( $par );
	}
}

?</syntaxhighlight>