diff options
Diffstat (limited to 'Interwiki/Interwiki.php')
-rw-r--r-- | Interwiki/Interwiki.php | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Interwiki/Interwiki.php b/Interwiki/Interwiki.php deleted file mode 100644 index 73341819..00000000 --- a/Interwiki/Interwiki.php +++ /dev/null @@ -1,15 +0,0 @@ -<?php - -if ( function_exists( 'wfLoadExtension' ) ) { - wfLoadExtension( 'Interwiki' ); - // Keep i18n globals so mergeMessageFileList.php doesn't break - $wgMessagesDirs['Interwiki'] = __DIR__ . '/i18n'; - $wgExtensionMessagesFiles['InterwikiAlias'] = __DIR__ . '/Interwiki.alias.php'; - /* wfWarn( - 'Deprecated PHP entry point used for Interwiki extension. Please use wfLoadExtension instead, ' . - 'see https://www.mediawiki.org/wiki/Extension_registration for more details.' - ); */ - return; -} else { - die( 'This version of the Interwiki extension requires MediaWiki 1.25+' ); -} |