wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-14 19:35:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Catego.../modules
History
Timo Tijhof 1f21d2998a Minor clean up of css/js 
* Trim trailing whitespace on lines.
* Remove css that has been commented for 5 years (63e25672).
* Remove comment about $wgCategoryTreeVersion which was
  removed 2 years ago (e77ae54).
* Add missing spaces in CSS and JS.

Change-Id: Icb28293b445880246f2b4273daab2fb21c2638df
2013-10-10 00:52:39 +02:00
..
ext.categoryTree.css Minor clean up of css/js 2013-10-10 00:52:39 +02:00
ext.categoryTree.js Minor clean up of css/js 2013-10-10 00:52:39 +02:00