wikimedia/mediawiki-extensions-Editcount
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount synced 2024-11-24 00:07:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove php entry point

Browse source 
Bug: T140007
Change-Id: I7f0378d632d6f2d71aa04bf22f28614ae3256bb5
This commit is contained in:
Nikita Rana 2019-04-06 01:14:59 +05:30
parent 2837748dfe
commit d8522a5e4d
1 changed files with 0 additions and 27 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

27
Editcount.php
View file

@ -1,27 +0,0 @@
<?php
/**
* A Special Page extension that displays edit counts.
*
* This page can be accessed from Special:Editcount[/user] as well as being
* included like {{Special:Editcount/user[/namespace]}}
*
* @file
* @ingroup Extensions
* @author Ævar Arnfjörð Bjarmason <avarab@gmail.com>
* @copyright Copyright © 2005, Ævar Arnfjörð Bjarmason
* @license GPL-2.0-or-later
*/
if ( function_exists( 'wfLoadExtension' ) ) {
wfLoadExtension( 'Editcount' );
// Keep i18n globals so mergeMessageFileList.php doesn't break
$wgMessagesDirs['Editcount'] = __DIR__ . '/i18n';
$wgExtensionMessagesFiles['EditcountAlias'] = __DIR__ . '/Editcount.alias.php';
wfWarn(
'Deprecated PHP entry point used for Editcount extension. Please use wfLoadExtension instead, ' .
'see https://www.mediawiki.org/wiki/Extension_registration for more details.'
);
return;
} else {
die( 'This version of the Editcount extension requires MediaWiki 1.25+' );
}