mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-24 15:53:46 +00:00
51cce2d0d4
* It sticks to the header on scroll * It hides when the sticky header hides Bug: T296680 Change-Id: I5a4e2ba42e172ea55fbdac8f35ec895f6b2756cd |
||
---|---|---|
.. | ||
jquery.ui | ||
ext.echo.styles.alert.less | ||
ext.relatedArticles.readMore.less | ||
ext.uls.compactlinks.less | ||
jquery.tipsy.less | ||
mediawiki.action.view.redirectPage.less | ||
mediawiki.notification.less | ||
mediawiki.special.less | ||
ooui.less |