mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-15 11:58:44 +00:00
54b750af14
Vector still uses 14px almost everywhere, so use it here as well. Bug: T360335 Change-Id: Icf4891375a62480ffbb4808a357935aa6d6fdc58 |
||
---|---|---|
.. | ||
images | ||
mediawiki.less | ||
skins.vector.clientPreferences | ||
skins.vector.js | ||
skins.vector.legacy.js | ||
skins.vector.search | ||
skins.vector.styles | ||
skins.vector.styles.legacy | ||
.eslintrc.json | ||
CheckboxHack.d.ts | ||
CollapsibleTabsPlugin.d.ts | ||
MediaWikiPageReady.d.ts | ||
mw.d.ts | ||
VectorResourceLoaderVirtualConfig.d.ts | ||
vue.d.ts |