mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced 2024-11-30 19:16:15 +00:00
7feedb1fd2
Those combinations origin from a time when these were seen as faster to be rendered (at least dating back to 2011). Not only is this reason no longer true, it also holds us back to start using semantic HTML5 sectioning elements like `nav` for `.portal`. Bug: T248137 Change-Id: I72b180d1c8bc1b029c147483590e2fc44dd29a86 |
||
---|---|---|
.. | ||
ext.categoryTree | ||
ext.categoryTree.styles.css |