This file is indexed.

/usr/share/mediawiki-extensions/base/Interwiki/SpecialInterwiki.php is in mediawiki-extensions-base 3.7.

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
<?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.
 *
 * @author Stephanie Amanda Stevens <phroziac@gmail.com>
 * @author SPQRobin <robin_1273@hotmail.com>
 * @copyright Copyright (C) 2005-2007 Stephanie Amanda Stevens
 * @copyright Copyright (C) 2007 SPQRobin
 * @license http://www.gnu.org/copyleft/gpl.html GNU General Public License 2.0 or later
 * Formatting improvements Stephen Kennedy, 2006.
 */

if (!defined('MEDIAWIKI')) die();

$wgExtensionCredits['specialpage'][] = array(
	'name'           => 'SpecialInterwiki',
	'url'            => 'http://mediawiki.org/wiki/Extension:SpecialInterwiki',
	'description'    => 'Adds a [[Special:Interwiki|special page]] to view and edit the interwiki table',
	'svn-date'       => '$LastChangedDate: 2009-02-10 01:40:30 +0100 (Tue, 10 Feb 2009) $',
	'svn-revision'   => '$LastChangedRevision: 47067 $',
	'author'         => array( 'Stephanie Amanda Stevens', 'SPQRobin', 'others' ),
	'descriptionmsg' => 'interwiki-desc',
);

$dir = dirname(__FILE__) . '/';
$wgExtensionMessagesFiles['Interwiki'] = $dir . 'SpecialInterwiki.i18n.php';
$wgExtensionAliasesFiles['Interwiki'] = $dir . 'SpecialInterwiki.alias.php';

$wgSpecialPages['Interwiki'] = 'SpecialInterwiki';
$wgSpecialPageGroups['Interwiki'] = 'wiki';
$wgAutoloadClasses['SpecialInterwiki'] = $dir . 'SpecialInterwiki_body.php';

$wgAvailableRights[] = 'interwiki';

$wgLogTypes[] = 'interwiki';
$wgLogNames['interwiki'] = 'interwiki_logpagename';
$wgLogHeaders['interwiki'] = 'interwiki_logpagetext';
$wgLogActions['interwiki/interwiki'] = 'interwiki_logentry';
$wgLogActions['interwiki/iw_add'] = 'interwiki_log_added';
$wgLogActions['interwiki/iw_delete'] = 'interwiki_log_deleted';
$wgLogActions['interwiki/iw_edit'] = 'interwiki_log_edited';