Remove PHP entry point

Bug: T140007
Change-Id: Idc7b516b24ba19790998a361c0c644a16a0c5761
This commit is contained in:
Reedy 2019-06-06 15:05:24 +01:00
parent 05062f562c
commit 734f35ac36

View file

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