From: Ed Sanders <esanders@wikimedia.org>
Date: Sat, 8 Sep 2018 13:33:59 +0000 (+0100)
Subject: Special:Preferences OOUI: Reduce width of number inputs to 10em
X-Git-Tag: 1.34.0-rc.0~4155^2
X-Git-Url: http://git.cyclocoop.org/%24image?a=commitdiff_plain;h=a4cfb3180d31fcb470d28be135c51c1108772691;p=lhc%2Fweb%2Fwiklou.git

Special:Preferences OOUI: Reduce width of number inputs to 10em

Bug: T181844
Change-Id: I23e2e98a389a609145fa451902e62ca53b83c72e
---

diff --git a/resources/src/mediawiki.special.preferences.styles.ooui.less b/resources/src/mediawiki.special.preferences.styles.ooui.less
index f83dcb03ca..57e9e073d2 100644
--- a/resources/src/mediawiki.special.preferences.styles.ooui.less
+++ b/resources/src/mediawiki.special.preferences.styles.ooui.less
@@ -142,6 +142,12 @@
 	}
 }
 
+/* Compact number inputs, used at "Display options" on "Recent changes" */
+.mw-htmlform-field-HTMLFloatField,
+.mw-htmlform-field-HTMLIntField {
+	max-width: 10em;
+}
+
 /* Expand the dropdown and textfield of "Time zone" field to the */
 /* usual maximum width and display them on separate lines. */
 #wpTimeCorrection .oo-ui-dropdownInputWidget,