jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/326370 )
Change subject: MediaWiki theme: Fix PHP
CheckboxMultiselectInputWidget/RadioSelectInputWidget option spacing
......................................................................
MediaWiki theme: Fix PHP CheckboxMultiselectInputWidget/RadioSelectInputWidget
option spacing
Follow-up to 0e6c4b89ceeb95f7953bf7933b3c374c51da8cba, which
accidentally caused the spacing between the options of the
PHP version of these widgets to increase to insane levels.
Change-Id: I407f452c0114533b5b3246213bf3518b54ff6e44
---
M src/themes/mediawiki/widgets.less
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
jenkins-bot: Verified
VolkerE: Looks good to me, approved
diff --git a/src/themes/mediawiki/widgets.less
b/src/themes/mediawiki/widgets.less
index 72692f1..67548f3 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -510,7 +510,7 @@
.theme-oo-ui-checkboxMultiselectInputWidget () {
.oo-ui-fieldLayout {
- margin-bottom: 0;
+ margin-top: 0;
.oo-ui-fieldLayout-body {
padding: 0.25em 0;
@@ -696,7 +696,7 @@
.theme-oo-ui-radioSelectInputWidget () {
.oo-ui-fieldLayout {
- margin-bottom: 0;
+ margin-top: 0;
.oo-ui-fieldLayout-body {
padding: 0.25em 0;
--
To view, visit https://gerrit.wikimedia.org/r/326370
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I407f452c0114533b5b3246213bf3518b54ff6e44
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: VolkerE <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
