mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree
synced 2024-11-27 09:43:06 +00:00
fcc3334125
I believe having arrows linked to the actual pages can be much more useful than linking to '#' of the same page. Linking to the correct page makes user to notice if the page is already visited also using color of the arrow. If we didn't like link visited logic to be not used we could've used a different link rather than color of links and going makes us able to :visited logic of If8b2b45b24351ee5c8fc9ee1380563f5d5b88678 also. Personally however I'm in believe that having a useful link that can be opened on a different tab using Ctrl (or long click on phones) is always more useful. Change-Id: Ib56fad0b711853d67b2d55617b36deff56141c74 |
||
---|---|---|
.. | ||
ext.categoryTree.js |