jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/379683 )
Change subject: Unify `box-sizing` to common LESS mixin
......................................................................
Unify `box-sizing` to common LESS mixin
Change-Id: Ifd3e7dd9be68c09b362c0fb8071cd9f27f846505
---
M resources/ext.popups/styles/ext.popups.settings.less
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
jenkins-bot: Verified
Phuedx: Looks good to me, approved
diff --git a/resources/ext.popups/styles/ext.popups.settings.less
b/resources/ext.popups/styles/ext.popups.settings.less
index 6da67f8..cf87440 100644
--- a/resources/ext.popups/styles/ext.popups.settings.less
+++ b/resources/ext.popups/styles/ext.popups.settings.less
@@ -11,7 +11,7 @@
border-radius: 2px;
header {
- box-sizing: border-box;
+ .box-sizing( border-box );
border-bottom: 1px solid #c8ccd1;
position: relative;
display: table;
--
To view, visit https://gerrit.wikimedia.org/r/379683
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ifd3e7dd9be68c09b362c0fb8071cd9f27f846505
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Popups
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: Phuedx <samsm...@wikimedia.org>
Gerrit-Reviewer: Pmiazga <pmia...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
