Merge "Workaround for border-radius due to bug 49074"

2013-06-04 13:08:24 +00:00
parent 18fe9e8b86 979c2da418
commit f16c42ef71
1 changed files with 2 additions and 0 deletions
--- a/resources/css/ext.uls.inputsettings.css
+++ b/resources/css/ext.uls.inputsettings.css
@@ -33,6 +33,8 @@ div.input-settings-block {

 .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;