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

Start showing warning for deprecated PHP entry point

Browse source 
Change-Id: I88c8a048c95a3c5d4162793710ef009186f3b42f
This commit is contained in:
Fomafix 2018-08-24 18:24:10 +02:00 committed by Umherirrender
parent c6e794f1e1
commit b1f56765f2
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
CodeEditor.php
View file

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