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

Use Doxygen @addtogroup instead of phpdoc @package && @subpackage

Browse source 
This is like r19502 but for extensions.
This commit is contained in:
Antoine Musso 2007-01-20 15:10:35 +00:00
parent 949e4e8c94
commit 92d4a5aa0b
Notes: Raimond Spekking 2010-04-07 18:54:28 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/19503
2 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
SpecialEditcount.i18n.php
View file

@ -3,8 +3,7 @@
/**
* Internationalisation file for CountEdits extension
*
* @package MediaWiki
* @subpackage Extensions
* @addtogroup Extensions
* @author Bertrand GRONDIN <bertrand.grondinr@tiscali.fr>
*/

3
SpecialEditcount.php
View file

@ -6,8 +6,7 @@ if (!defined('MEDIAWIKI')) die();
* This page can be accessed from Special:Editcount[/user] as well as being
* included like {{Special:Editcount/user[/namespace]}}
*
* @package MediaWiki
* @subpackage Extensions
* @addtogroup Extensions
*
* @author Ævar Arnfjörð Bjarmason <avarab@gmail.com>
* @copyright Copyright © 2005, Ævar Arnfjörð Bjarmason