VolkerE has uploaded a new change for review.
https://gerrit.wikimedia.org/r/299176
Change subject: Replace unprefixed `box-sizing` property with mixin
......................................................................
Replace unprefixed `box-sizing` property with mixin
Replacing unprefixed `box-sizing` property with corresponding mixin.
Change-Id: Ie4030fa6b78ab7051a2d6d14efe2233875cfc2ee
---
M src/themes/mediawiki/tools.less
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/76/299176/1
diff --git a/src/themes/mediawiki/tools.less b/src/themes/mediawiki/tools.less
index 5f34151..ef32261 100644
--- a/src/themes/mediawiki/tools.less
+++ b/src/themes/mediawiki/tools.less
@@ -289,7 +289,7 @@
.oo-ui-tool-link {
padding: 0.4em 0.625em;
- box-sizing: border-box;
+ .oo-ui-box-sizing( border-box );
.oo-ui-iconElement-icon {
height: 2.5em;
--
To view, visit https://gerrit.wikimedia.org/r/299176
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ie4030fa6b78ab7051a2d6d14efe2233875cfc2ee
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
