diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2013-12-08 09:55:49 +0100 |
commit | 4ac9fa081a7c045f6a9f1cfc529d82423f485b2e (patch) | |
tree | af68743f2f4a47d13f2b0eb05f5c4aaf86d8ea37 /extensions/ImageMap/ImageMap.php | |
parent | af4da56f1ad4d3ef7b06557bae365da2ea27a897 (diff) |
Update to MediaWiki 1.22.0
Diffstat (limited to 'extensions/ImageMap/ImageMap.php')
-rw-r--r-- | extensions/ImageMap/ImageMap.php | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/extensions/ImageMap/ImageMap.php b/extensions/ImageMap/ImageMap.php index aa4cfa0d..b263bbb5 100644 --- a/extensions/ImageMap/ImageMap.php +++ b/extensions/ImageMap/ImageMap.php @@ -1,4 +1,20 @@ <?php +/** + * ImageMap extension - Allows clickable HTML image maps. + * + * @link https://www.mediawiki.org/wiki/Extension:ImageMap Documentation + * + * @file + * @ingroup Extensions + * @package MediaWiki + * @author Tim Starling + * @copyright (C) 2007 Tim Starling + * @license http://www.gnu.org/copyleft/gpl.html GNU General Public License 2.0 or later + */ + +if ( !defined( 'MEDIAWIKI' ) ) { + die( 'This file is a MediaWiki extension, it is not a valid entry point' ); +} $dir = __DIR__ . '/'; $wgExtensionMessagesFiles['ImageMap'] = $dir . 'ImageMap.i18n.php'; |