This file is indexed.

/usr/share/mediawiki-extensions/base/ImageMap/ImageMap.php is in mediawiki-extensions-base 2.5.

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
<?php

$dir = dirname(__FILE__) . '/';
$wgExtensionMessagesFiles['ImageMap'] = $dir . 'ImageMap.i18n.php';
$wgAutoloadClasses['ImageMap'] = $dir . 'ImageMap_body.php';
if ( defined( 'MW_SUPPORTS_PARSERFIRSTCALLINIT' ) ) {
	$wgHooks['ParserFirstCallInit'][] = 'wfSetupImageMap';
} else {
	$wgExtensionFunctions[] = 'wfSetupImageMap';
}

$wgExtensionCredits['parserhook']['ImageMap'] = array(
	'name'           => 'ImageMap',
	'svn-date' => '$LastChangedDate: 2008-06-06 22:38:04 +0200 (Fri, 06 Jun 2008) $',
	'svn-revision' => '$LastChangedRevision: 35980 $',
	'author'         => 'Tim Starling',
	'url'            => 'http://www.mediawiki.org/wiki/Extension:ImageMap',
	'description'    => 'Allows client-side clickable image maps using <nowiki><imagemap></nowiki> tag.',
	'descriptionmsg' => 'imagemap_desc',
);

function wfSetupImageMap() {
	global $wgParser;
	$wgParser->setHook( 'imagemap', array( 'ImageMap', 'render' ) );
	return true;
}