wikimedia/mediawiki-extensions-Editcount
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount synced 2024-11-30 19:15:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
385 commits 25 branches 0 tags 5.1 MiB
Commit graph

4 commits

Author SHA1 Message Date
Tim Weyer 91088f925f Replacing by in a few of most used extensions and renaming Special....php to ..._body.php 2011-12-18 10:27:44 +00:00
Brion Vibber f98de3794b Update a butt-ton of extension about URLs to point to https://www.mediawiki.org/ 2011-12-13 23:49:33 +00:00
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)