jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/379534 )
Change subject: Unify `box-sizing` to LESS mixin where no media query involved
......................................................................
Unify `box-sizing` to LESS mixin where no media query involved
Change-Id: Iafbf650c96ea5f9bbe8c73f4a71a5cd3273e0327
---
M modules/editor/editors/visualeditor/mw.flow.ve.Target.less
M modules/styles/flow/widgets/mw.flow.ui.NewTopicWidget.less
2 files changed, 2 insertions(+), 4 deletions(-)
Approvals:
Catrope: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/editor/editors/visualeditor/mw.flow.ve.Target.less
b/modules/editor/editors/visualeditor/mw.flow.ve.Target.less
index 2f75f53..6431952 100644
--- a/modules/editor/editors/visualeditor/mw.flow.ve.Target.less
+++ b/modules/editor/editors/visualeditor/mw.flow.ve.Target.less
@@ -15,8 +15,8 @@
}
.ve-ce-documentNode {
+ .box-sizing( border-box );
min-height: @editorMinHeight;
- box-sizing: border-box;
}
.ve-ui-debugBar {
diff --git a/modules/styles/flow/widgets/mw.flow.ui.NewTopicWidget.less
b/modules/styles/flow/widgets/mw.flow.ui.NewTopicWidget.less
index 41a3fce..ff74b7a 100644
--- a/modules/styles/flow/widgets/mw.flow.ui.NewTopicWidget.less
+++ b/modules/styles/flow/widgets/mw.flow.ui.NewTopicWidget.less
@@ -20,9 +20,7 @@
// Reproduce mw-input
-webkit-appearance: none;
- -webkit-box-sizing: border-box;
- -moz-box-sizing: border-box;
- box-sizing: border-box;
+ .box-sizing( border-box );
width: 100%;
padding: 0.429em 0.381em 0.381em;
display: block;
--
To view, visit https://gerrit.wikimedia.org/r/379534
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iafbf650c96ea5f9bbe8c73f4a71a5cd3273e0327
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/Flow
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: Catrope <r...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
