jenkins-bot has submitted this change and it was merged.
Change subject: Workaround for border-radius due to bug 49074
......................................................................
Workaround for border-radius due to bug 49074
Change-Id: I411ea2cda0fcfc0c3182189ed6dc2f25851cd04c
---
M resources/css/ext.uls.inputsettings.css
1 file changed, 2 insertions(+), 0 deletions(-)
Approvals:
Amire80: Looks good to me, approved
jenkins-bot: Verified
diff --git a/resources/css/ext.uls.inputsettings.css
b/resources/css/ext.uls.inputsettings.css
index 924cd02..1149aa9 100644
--- a/resources/css/ext.uls.inputsettings.css
+++ b/resources/css/ext.uls.inputsettings.css
@@ -33,6 +33,8 @@
.uls-ime-menu-settings-item {
background-color: #f0f0f0;
+ /* Workaround for bug https://bugzilla.wikimedia.org/49074 */
+ /* @noflip */
border-radius: 0 0 5px 5px;
border-top: 1px solid #ddd;
margin-top: 6px;
--
To view, visit https://gerrit.wikimedia.org/r/66381
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I411ea2cda0fcfc0c3182189ed6dc2f25851cd04c
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/UniversalLanguageSelector
Gerrit-Branch: master
Gerrit-Owner: Nikerabbit <[email protected]>
Gerrit-Reviewer: Amire80 <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: Santhosh <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
