From dbba9cfa808eed1ec8d0c66d67e9c8e0d047f183 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bartosz=20Dziewo=C5=84ski?= <matma.rex@gmail.com>
Date: Wed, 13 Jun 2018 04:15:27 +0200
Subject: [PATCH] mediawiki.ui: Don't style non-MWUI `<input type="number">`
 elements

These styles mess with the styles for OOUI NumberInputWidget.

Change-Id: I9b7c8a010bc704c922cb6200a0316ed8e48851c5
---
 resources/src/mediawiki.ui/components/inputs.less | 1 -
 1 file changed, 1 deletion(-)

diff --git a/resources/src/mediawiki.ui/components/inputs.less b/resources/src/mediawiki.ui/components/inputs.less
index bbfd528204..4b8b1ee2ac 100644
--- a/resources/src/mediawiki.ui/components/inputs.less
+++ b/resources/src/mediawiki.ui/components/inputs.less
@@ -103,7 +103,6 @@ textarea.mw-ui-input {
 // <button class="mw-ui-button mw-ui-progressive">Submit</button>
 //
 // Styleguide 1.2.
-input[ type='number' ],
 .mw-ui-input-inline {
 	display: inline-block;
 	width: auto;
-- 
2.20.1