f5d55bcf54
Replacing deprecated `@colorFieldBorder` with WikimediaUI Base equivalent `@border-base` shorthand. Also replace `@borderRadius` with new base and static `background-color` values. Depends-On: I2e2277957b79b81909b80a6c0b7b2220be6ba903 Change-Id: I90bb0eb0c2206483f71f0553dfb590d9df2c5781 |
||
---|---|---|
.. | ||
skins.vector.js | ||
skins.vector.styles | ||
CollapsibleTabsPlugin.d.ts | ||
mediawiki.d.ts | ||
skins.vector.styles.responsive.less |