mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-12 09:21:11 +00:00
bcb6ca36ba
Restore header margin between search and user links, as its still needed for grid (Fixes F35282398) Bug: T303484 Change-Id: Ie8cf4adcadff430ebfc675029635e6c22061b238 |
||
---|---|---|
.. | ||
common | ||
mediawiki.less | ||
skins.vector.es6 | ||
skins.vector.js | ||
skins.vector.legacy.js | ||
skins.vector.search | ||
skins.vector.styles | ||
skins.vector.styles.legacy | ||
CheckboxHack.d.ts | ||
CollapsibleTabsPlugin.d.ts | ||
MediaWikiPageReady.d.ts | ||
mw.d.ts | ||
VectorResourceLoaderVirtualConfig.d.ts | ||
vue.d.ts |