mediawiki-extensions-Catego.../modules/ext.categoryTree
Timo Tijhof c839756b32 Remove 'wgCategoryTreePageCategoryOptions' export from pageview HTML
This was internal to CategoryTree JS code and only needed on very
few pages. Export it as part of the module that needs it, instead.

Given this is computed and not a plain config var, use callback
to generate the value.

Bug: T219342
Change-Id: I790a98128b0a3317e27ac0d5fda08d48aeb640dc
2019-04-05 11:31:03 -07: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 Remove 'wgCategoryTreePageCategoryOptions' export from pageview HTML 2019-04-05 11:31:03 -07:00