jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/339479 )
Change subject: RCFilters UI: Style the 'old' RC option fieldset ...................................................................... RCFilters UI: Style the 'old' RC option fieldset Bug: T158006 Change-Id: I230dc9095e41abf32e95adc68c40265b53a5f698 --- M resources/Resources.php A resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less M resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.CapsuleItemWidget.less 3 files changed, 12 insertions(+), 1 deletion(-) Approvals: Catrope: Looks good to me, approved jenkins-bot: Verified diff --git a/resources/Resources.php b/resources/Resources.php index 0b24b71..d6cb43f 100644 --- a/resources/Resources.php +++ b/resources/Resources.php @@ -1786,6 +1786,7 @@ 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.variables.less', 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.less', 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.Overlay.less', + 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less', 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemWidget.less', 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.CapsuleItemWidget.less', 'resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterGroupWidget.less', diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less new file mode 100644 index 0000000..8423363 --- /dev/null +++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less @@ -0,0 +1,9 @@ +// Corrections for the standard special page +.rcoptions { + border: 0; + border-bottom: 1px solid #a2a9b1; + + legend { + display: none; + } +} diff --git a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.CapsuleItemWidget.less b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.CapsuleItemWidget.less index 0bf6f58..46bd8f3 100644 --- a/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.CapsuleItemWidget.less +++ b/resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.CapsuleItemWidget.less @@ -10,8 +10,9 @@ margin-top: 1em; } - .oo-ui-labelElement-label { + &.oo-ui-labelElement .oo-ui-labelElement-label { vertical-align: middle; + cursor: pointer; } &-muted { -- To view, visit https://gerrit.wikimedia.org/r/339479 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I230dc9095e41abf32e95adc68c40265b53a5f698 Gerrit-PatchSet: 3 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Mooeypoo <mor...@gmail.com> Gerrit-Reviewer: Catrope <r...@wikimedia.org> Gerrit-Reviewer: Mooeypoo <mor...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits