mediawiki-ext-note/MW_EXT_Note.php
2023-07-16 23:53:34 +00:00

16 lines
457 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_Note');
// Keep i18n globals so mergeMessageFileList.php doesn't break.
$wgExtensionMessagesFiles['MW_EXT_Note'] = __DIR__ . '/i18n';
return;
} else {
die('This version of the MW_EXT_Note extension requires MediaWiki 1.31+');
}