extensions/InputBox/InputBox.php

   1 <?php
   2 if ( function_exists( 'wfLoadExtension' ) ) {
   3         wfLoadExtension( 'InputBox' );
   4         // Keep i18n globals so mergeMessageFileList.php doesn't break
   5         $wgMessagesDirs['InputBox'] = __DIR__ . '/i18n';
   6         /* wfWarn(
   7                 'Deprecated PHP entry point used for InputBox extension. Please use wfLoadExtension instead, ' .
   8                 'see https://www.mediawiki.org/wiki/Extension_registration for more details.'
   9         ); */
  10         return;
  11 } else {
  12         die( 'This version of the InputBox extension requires MediaWiki 1.25+' );
  13 }