wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-30 11:06:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Catego.../modules/ext.categoryTree
History
Fomafix 3cdb4e95f2 Move styles that only used in JavaScript to JavaScript module 
Also rename the style module from 'ext.categoryTree.css' to
'ext.categoryTree.styles'.
Keep the previous module name 'ext.categoryTree.css' for compability to
cached versions.
Also move the files of the module 'ext.categoryTree' into a
subdirectory ext.categoryTree.

Change-Id: Ie5ea28acfb43e33a94ec5824baf4f26d63d8e9e6
2019-01-10 13:38:58 +01:00
..
ext.categoryTree.css Move styles that only used in JavaScript to JavaScript module 2019-01-10 13:38:58 +01:00
ext.categoryTree.js Move styles that only used in JavaScript to JavaScript module 2019-01-10 13:38:58 +01:00