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

Big changes to extensions' documentation:

Browse source 
* changed all @addtogroup to @ingroup
* added some @file where needed
* changed some @package/@subpackage to @ingroup
This commit is contained in:
Alexandre Emsenhuber 2010-06-06 15:12:22 +00:00
parent afe99f3d67
commit 5b178e67e1
Notes: Alexandre Emsenhuber 2010-06-06 15:12:22 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/67467
3 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Editcount.alias.php
View file

@ -2,7 +2,8 @@
/**
* Aliases for Special:Editcount
*
* @addtogroup Extensions
* @file
* @ingroup Extensions
*/
$aliases = array();

3
Editcount.i18n.php
View file

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

4
Editcount.php
View file

@ -6,8 +6,8 @@ if (!defined('MEDIAWIKI')) die();
* This page can be accessed from Special:Editcount[/user] as well as being
* included like {{Special:Editcount/user[/namespace]}}
*
* @addtogroup Extensions
*
* @file
* @ingroup Extensions
* @author Ævar Arnfjörð Bjarmason <avarab@gmail.com>
* @copyright Copyright © 2005, Ævar Arnfjörð Bjarmason
* @license http://www.gnu.org/copyleft/gpl.html GNU General Public License 2.0 or later