Group :: Networking/WWW
RPM: mediawiki-extensions-TopTenPages
Main Changelog Spec Patches Sources Download Gear Bugs and FR Repocop
TopTenPages-0.3.2/ 0000755 0000000 0000000 00000000000 12304627224 0013705 5 ustar 00root root 0000000 0000000 TopTenPages-0.3.2/SpecialTopTenPages.php 0000644 0000000 0000000 00000001061 12304627224 0020106 0 ustar 00root root 0000000 0000000 <?php
class SpecialTopTenPages extends PopularPagesPage {
public function __construct( $name = 'TopTenPages' ) {
parent::__construct( $name );
$inc = $this->including();
}
public function isIncludable() {
return true;
}
function isListed() {
return false;
}
function execute( $par ) {
$inc = $this->including();
if ( $inc ) {
$parts = explode( '/', $par, 3 );
$this->offset = (int)$parts[0];
$this->limit = (int)$parts[1];
}
$this->setListoutput( false );
$this->shownavigation = !$inc;
parent::execute( $par );
}
}