wikimedia/mediawiki-extensions-Editcount
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount synced 2025-01-07 04:24:33 +00:00
Code Issues Packages Projects Releases Wiki Activity
322 commits 25 branches 0 tags 5.2 MiB
Commit graph

2 commits

Author SHA1 Message Date
Alexandre Emsenhuber 5b178e67e1 Big changes to extensions' documentation: 
* changed all @addtogroup to @ingroup
* added some @file where needed
* changed some @package/@subpackage to @ingroup
 2010-06-06 15:12:22 +00:00
Siebrand Mazeland 995e55b718 Rename to remove "Special" prefix from filenames. Update Configure and Translate accordingly. 2010-04-15 19:29:55 +00:00
Renamed from SpecialEditcount.php (Browse further)