mediawiki-extensions-ImageMapEdit/ImageMapEdit.php at master · mrglaser/mediawiki-extensions-ImageMapEdit · GitHub

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

/**
 * ImageMapEdit
 * Create image maps in the browser.
 * */
$wgExtensionCredits['parserhook'][] = [
	'path' => __FILE__,
	'name' => 'ImageMapEdit',
	'descriptionmsg' => 'imagemapedit-extension-description',
	'author' => ['Marc Reymann', 'Peter Schlömer', 'Tobias Weichart' ],
	'version' => '2.23.2',
];
if ( !defined( 'MEDIAWIKI' ) ) {
	exit;
}

$wgExtensionMessagesFiles['ImageMapEdit'] = __DIR__ . '/ImageMapEdit.i18n.php';

$wgAutoloadClasses['ImageMapEdit'] = __DIR__ . '/ImageMapEdit.class.php';

$aResourceModuleTemplate = array (
	'localBasePath' => __DIR__ . '/resources',
	'remoteExtPath' => 'ImageMapEdit/resources'
);

$wgResourceModules['ext.imagemapedit'] = array (
	'scripts' => array (
		'ime.js',
		'ime.rl.js'
	)
	) + $aResourceModuleTemplate;

unset( $aResoureModuleTemplate );

$wgHooks['OutputPageBeforeHTML'][] = 'ImageMapEdit::onOutputPageBeforeHTML';
$wgHooks['BeforePageDisplay'][] = 'ImageMapEdit::onBeforePageDisplay';