wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-24 07:03:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove php entry point

Browse source 
Deprecation notice since I66e5606b4dbd049eefab3461618b877219ca3e93

Bug: T140850
Change-Id: I44e32a0503fa4f9278c6dba52680883bc2b356fc
This commit is contained in:
Umherirrender 2021-03-13 00:11:05 +01:00
parent 65690a1944
commit 908608e7b9
1 changed files with 0 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
InputBox.php
View file

@ -1,13 +0,0 @@
<?php
if ( function_exists( 'wfLoadExtension' ) ) {
wfLoadExtension( 'InputBox' );
// Keep i18n globals so mergeMessageFileList.php doesn't break
$wgMessagesDirs['InputBox'] = __DIR__ . '/i18n';
wfWarn(
'Deprecated PHP entry point used for InputBox extension. Please use wfLoadExtension instead, ' .
'see https://www.mediawiki.org/wiki/Extension_registration for more details.'
);
return;
} else {
die( 'This version of the InputBox extension requires MediaWiki 1.30+' );
}