diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2014-01-14 19:24:18 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2014-01-14 19:24:18 +0100 |
commit | 224b22a051051f6c2e494c3a2fb4adb42898e2d1 (patch) | |
tree | 85a41a4cf8533bf740ec4c8d3affce88414daa56 /extensions/ImageMap/ImageMap.php | |
parent | 9937b8e6d6a8b4517c04c143daaf9ebd42ce8ba0 (diff) |
Update to MediaWiki 1.22.1
Diffstat (limited to 'extensions/ImageMap/ImageMap.php')
-rw-r--r-- | extensions/ImageMap/ImageMap.php | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/extensions/ImageMap/ImageMap.php b/extensions/ImageMap/ImageMap.php index b263bbb5..aa4cfa0d 100644 --- a/extensions/ImageMap/ImageMap.php +++ b/extensions/ImageMap/ImageMap.php @@ -1,20 +1,4 @@ <?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'; |