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

Empty PHP entry points where JSON entry points exist

Browse source 
Bug: T140007
Change-Id: I16e5cf01cd33322a73bdc9ad5fc3802799d720bf
This commit is contained in:
Ananth subray 2019-06-02 17:38:14 +00:00
parent 10af3fedcb
commit fd7394435f
1 changed files with 0 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
CookieWarning.php
View file

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