Mooeypoo has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/339479 )

Change subject: Style the 'old' RC option fieldset
......................................................................

Style the 'old' RC option fieldset

Bug: T158006
Change-Id: I230dc9095e41abf32e95adc68c40265b53a5f698
---
M resources/Resources.php
A resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less
2 files changed, 10 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/79/339479/1

diff --git a/resources/Resources.php b/resources/Resources.php
index 2f0311f..646df3d 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1780,6 +1780,7 @@
                ],
                'styles' => [
                        
'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;
+       }
+}

-- 
To view, visit https://gerrit.wikimedia.org/r/339479
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I230dc9095e41abf32e95adc68c40265b53a5f698
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Mooeypoo <mor...@gmail.com>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to