mediawiki-ext-tooltip/MW_EXT_Tooltip.php

17 lines
466 B
PHP

<?php
// Confirm MediaWiki environment.
if (!defined('MEDIAWIKI')) {
die('This file is a MediaWiki extension and thus not a valid entry point.');
}
if (function_exists('wfLoadExtension')) {
wfLoadExtension('MW_EXT_Tooltip');
// Keep i18n globals so mergeMessageFileList.php doesn't break.
$wgExtensionMessagesFiles['MW_EXT_Tooltip'] = __DIR__ . '/i18n';
return;
} else {
die('This version of the MW_EXT_Tooltip extension requires MediaWiki 1.31+');
}