wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-12-11 08:08:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
2079 commits 12 branches 25 tags 20 MiB
Commit graph

3 commits

Author SHA1 Message Date
Kunal Mehta 50c10d1fcb Use standard GPL file header 
Change-Id: Ic49d45d0a0cb640d40486735c95f13cc6e29063f
 2018-04-16 22:38:06 +00:00
libraryupgrader 5a7ebcfead build: Updating mediawiki/mediawiki-codesniffer to 18.0.0 
The following sniffs now pass and were enabled:
* MediaWiki.Commenting.LicenseComment.InvalidLicenseTag

Change-Id: I13c4825186d8ba101feb2a2d28ee8dc9bc7306dd
 2018-04-13 22:19:35 +00:00
Kunal Mehta 8e51ea4e3a Move classes into includes/ 
Change-Id: I308523aa764594798d72974fb79e19aef6c3f342
 2018-02-08 22:23:07 -08:00
Renamed from CategoryTreeHidePrefix.php (Browse further)