Move some of the changes I made to Special:Categories out of SpecialCategories.php...
[mediawiki.git] / config / 
tree38e6c0c794d05cfac878f763f951b1322dae598c
drwxr-xr-x   ..
-rw-r--r-- 64645 index.php
-rw-r--r-- 68 index.php5