/usr/share/mediawiki-extensions/base/NewestPages/NewestPages.php is in mediawiki-extensions-base 3.5~deb7u2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 | <?php
if ( ! defined( 'MEDIAWIKI' ) )
die();
/**
* Special page to show the last X pages added to the wiki
* This doesn't use recent changes so the items don't expire
*
* @file
* @ingroup Extensions
* @author Rob Church <robchur@gmail.com>
* @copyright © 2006 Rob Church
* @licence GNU General Public Licence 2.0
*/
$wgExtensionCredits['specialpage'][] = array(
'path' => __FILE__,
'name' => 'Newest Pages',
'version' => '1.9',
'author' => 'Rob Church',
'url' => 'https://www.mediawiki.org/wiki/Extension:Newest_Pages',
'descriptionmsg' => 'newestpages-desc',
);
$wgNewestPagesLimit = 50;
$dir = dirname(__FILE__) . '/';
$wgExtensionMessagesFiles['NewestPages'] = $dir . 'NewestPages.i18n.php';
$wgExtensionMessagesFiles['NewestPagesAlias'] = $dir . 'NewestPages.alias.php';
$wgAutoloadClasses['NewestPages'] = $dir . 'NewestPages.page.php';
$wgSpecialPages['NewestPages'] = 'NewestPages';
|