jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/328549 )
Change subject: MediaWiki theme: Remove obsolete ComboBoxInputWidget selectors
......................................................................
MediaWiki theme: Remove obsolete ComboBoxInputWidget selectors
Removing obsolete ComboBoxInputWidget selectors, follow-up to
Id53db3c61e9
Change-Id: I96b867c1d9a28e3a6bc7b8307a788c45016bf028
---
M src/themes/mediawiki/widgets.less
1 file changed, 2 insertions(+), 4 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/src/themes/mediawiki/widgets.less
b/src/themes/mediawiki/widgets.less
index 45a2e12..b571042 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -868,8 +868,7 @@
.theme-oo-ui-comboBoxInputWidget () {
// inherits from `inputWidget` & `textInputWidget`
- input,
- textarea {
+ input {
height: @size-default;
border-top-right-radius: 0;
border-bottom-right-radius: 0;
@@ -894,8 +893,7 @@
}
&.oo-ui-comboBoxInputWidget-empty {
- input,
- textarea {
+ input {
border-right-width: 1px;
}
}
--
To view, visit https://gerrit.wikimedia.org/r/328549
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I96b867c1d9a28e3a6bc7b8307a788c45016bf028
Gerrit-PatchSet: 2
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: Esanders <esand...@wikimedia.org>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Prtksxna <psax...@wikimedia.org>
Gerrit-Reviewer: VolkerE <volke...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
