wikimedia/mediawiki-extensions-PageImages
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/PageImages synced 2024-11-15 03:43:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove PHP entry point

Browse source 
Change-Id: Ic16b2b632c371e6d2180c17817e876aab30acddc
This commit is contained in:
Reedy 2020-04-19 23:35:28 +01:00
parent 0c29f84071
commit 8747de0649
1 changed files with 0 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
PageImages.php
View file

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