jenkins-bot has submitted this change and it was merged.
Change subject: mediawiki.mixins: Correct browser support comments about Opera
......................................................................
mediawiki.mixins: Correct browser support comments about Opera
Change-Id: I2735e102d2390e38e1de36a01507aceced06cf0e
---
M resources/src/mediawiki.less/mediawiki.mixins.less
1 file changed, 4 insertions(+), 4 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/src/mediawiki.less/mediawiki.mixins.less
b/resources/src/mediawiki.less/mediawiki.mixins.less
index 457e8c1..f6c407a 100644
--- a/resources/src/mediawiki.less/mediawiki.mixins.less
+++ b/resources/src/mediawiki.less/mediawiki.mixins.less
@@ -77,15 +77,15 @@
}
.column-width(@value) {
- -webkit-column-width: @value; // Chrome Any, Safari 3+, Opera 11.1+
+ -webkit-column-width: @value; // Chrome Any, Safari 3+, Opera 15+
-moz-column-width: @value; // Firefox 1.5+
- column-width: @value; // IE 10+
+ column-width: @value; // IE 10+, Opera 11.1-12.1
}
.column-break-inside-avoid() {
- -webkit-column-break-inside: avoid; // Chrome Any, Safari 3+, Opera
11.1+
+ -webkit-column-break-inside: avoid; // Chrome Any, Safari 3+, Opera 15+
page-break-inside: avoid; // Firefox 1.5+
- break-inside: avoid-column; // IE 10+
+ break-inside: avoid-column; // IE 10+, Opera 11.1-12.1
}
.flex-display(@display: flex) {
--
To view, visit https://gerrit.wikimedia.org/r/264702
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2735e102d2390e38e1de36a01507aceced06cf0e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Edokter <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
