mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-24 15:53:46 +00:00
f29a1eba0a
Unifying variable naming to property-identifier-modifier scheme and use already existing variables out of mediawiki.ui variables file, which gets imported by Vector and its variables (like `@border-width-base`) are already in use in a few places. Change-Id: Ic25b1517bf180a9bce437215c1309bb9f4dd15be |
||
---|---|---|
.. | ||
common.less | ||
externalLinks.less | ||
footer.less | ||
navigation.less | ||
personalMenu.less | ||
search.less | ||
tabs.less | ||
watchstar.less |