diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2014-03-12 18:12:23 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2014-03-12 18:12:23 +0100 |
commit | d417de70fcf39e0a7a15ba780b597914d16ca0f7 (patch) | |
tree | 06ef8c333473660350b995abc03e18f3f85359eb /extensions/ImageMap/ImageMap.php | |
parent | a4edbfa031eb4cd72678051f1510afde4f77951e (diff) |
Update to MediaWiki 1.22.4
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'; |