diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2014-02-28 08:36:29 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2014-02-28 08:36:29 +0100 |
commit | a4edbfa031eb4cd72678051f1510afde4f77951e (patch) | |
tree | 76cef11b1a13538c8982a7491dbbf7324d4a7b2a /extensions/ImageMap/ImageMap.php | |
parent | 1b65fa2a5f4c48b02ceda934e9c1aee2d03ce453 (diff) |
Update to MediaWiki 1.22.3
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'; |