wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-12-01 18:57:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-Vector/resources/skins.vector.styles
History
Jon Robson dca02fee92 Page tools: Move styles from PinnableElement to PageTools 
These styles are not going to be needed in the main menu so are
not generic. Moving to the PageTools component.

Bug: T317899
Change-Id: I17b8ecd645c593c0368ea158265dbf8f6a575345
2022-12-01 18:47:38 +00:00
..
components Page tools: Move styles from PinnableElement to PageTools 2022-12-01 18:47:38 +00:00
images Reorganize LESS files to match ResourceLoader conventions 2021-04-08 15:47:56 +01:00
layouts Use PinnableHeader in the TOC all the time 2022-11-30 01:09:43 +00:00
skin.less Generalize Pinnable functionality to not be limited to dropdowns, make Pinnable templates composable 2022-11-30 17:17:20 -06:00