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

Merge "Remove php entry point"

Browse source
This commit is contained in:
jenkins-bot 2018-09-12 23:23:38 +00:00 committed by Gerrit Code Review
parent 03672da354 e0ec7b147f
commit 939d1387a1
1 changed files with 0 additions and 16 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
CiteThisPage.php
View file

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