/usr/share/mediawiki-extensions/base/Interwiki/Interwiki.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 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 | <?php
/**
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* @file
* @ingroup Extensions
* @version 2.0
* @author Stephanie Amanda Stevens <phroziac@gmail.com>
* @author Robin Pepermans (SPQRobin) <robinp.1273@gmail.com>
* @copyright Copyright © 2005-2007 Stephanie Amanda Stevens
* @copyright Copyright © 2007-2011 Robin Pepermans (SPQRobin)
* @license http://www.gnu.org/copyleft/gpl.html GNU General Public License 2.0 or later
* @link http://www.mediawiki.org/wiki/Extension:SpecialInterwiki Documentation
* Formatting improvements Stephen Kennedy, 2006.
*/
if( !defined( 'MEDIAWIKI' ) ){
die( "This is not a valid entry point.\n" );
}
// Extension credits for Special:Version
$wgExtensionCredits['specialpage'][] = array(
'path' => __FILE__,
'name' => 'Interwiki',
'author' => array( 'Stephanie Amanda Stevens', 'SPQRobin', '...' ),
'version' => '2.0',
'url' => 'https://www.mediawiki.org/wiki/Extension:Interwiki',
'descriptionmsg' => 'interwiki-desc',
);
$wgResourceModules['SpecialInterwiki'] = array(
'styles' => 'Interwiki.css',
'localBasePath' => dirname( __FILE__ ),
'remoteExtPath' => 'Interwiki',
);
// Set up the new special page
$dir = dirname( __FILE__ ) . '/';
$wgExtensionMessagesFiles['Interwiki'] = $dir . 'Interwiki.i18n.php';
$wgExtensionMessagesFiles['InterwikiAlias'] = $dir . 'Interwiki.alias.php';
$wgAutoloadClasses['SpecialInterwiki'] = $dir . 'Interwiki_body.php';
$wgSpecialPages['Interwiki'] = 'SpecialInterwiki';
$wgSpecialPageGroups['Interwiki'] = 'wiki';
// New user right, required to modify the interwiki table through Special:Interwiki
$wgAvailableRights[] = 'interwiki';
// Set up the new log type - interwiki actions are logged to this new log
$wgLogTypes[] = 'interwiki';
$wgLogNames['interwiki'] = 'interwiki_logpagename';
$wgLogHeaders['interwiki'] = 'interwiki_logpagetext';
$wgAutoloadClasses['InterwikiLogFormatter'] = $dir . 'Interwiki_body.php';
# interwiki, iw_add, iw_delete, iw_edit
$wgLogActionsHandlers['interwiki/*'] = 'InterwikiLogFormatter';
|