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

1 commit

Author SHA1 Message Date
Umherirrender 1f1defc070 Split CategoryPageSubclass.php into two files 
Makes MediaWiki.Files.OneClassPerFile.MultipleFound pass


Change-Id: Ic4d064272a5297e33b1edc090b807937cfb06545
 2017-12-16 13:03:29 +01:00