jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/392313 )
Change subject: Move styles for Special:UserRights to separate style module
......................................................................
Move styles for Special:UserRights to separate style module
Bug: T180914
Change-Id: I0e3cf5e3d69f32a30e5fe6dc0d2fd964c4f5720c
---
M includes/specials/SpecialUserrights.php
M resources/Resources.php
M resources/src/mediawiki.special/mediawiki.special.css
M resources/src/mediawiki.special/mediawiki.special.userrights.css
4 files changed, 16 insertions(+), 15 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/specials/SpecialUserrights.php
b/includes/specials/SpecialUserrights.php
index 0a712ef..4e4394d 100644
--- a/includes/specials/SpecialUserrights.php
+++ b/includes/specials/SpecialUserrights.php
@@ -140,7 +140,7 @@
$this->setHeaders();
$this->outputHeader();
- $out->addModuleStyles( 'mediawiki.special' );
+ $out->addModuleStyles( 'mediawiki.special.userrights.styles' );
$this->addHelpLink( 'Help:Assigning permissions' );
$this->switchForm();
diff --git a/resources/Resources.php b/resources/Resources.php
index 715f339..d9fa8e0 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -2230,12 +2230,14 @@
],
],
'mediawiki.special.userrights' => [
- 'styles' =>
'resources/src/mediawiki.special/mediawiki.special.userrights.css',
'scripts' =>
'resources/src/mediawiki.special/mediawiki.special.userrights.js',
'dependencies' => [
'mediawiki.notification.convertmessagebox',
],
],
+ 'mediawiki.special.userrights.styles' => [
+ 'styles' =>
'resources/src/mediawiki.special/mediawiki.special.userrights.css',
+ ],
'mediawiki.special.watchlist' => [
'scripts' =>
'resources/src/mediawiki.special/mediawiki.special.watchlist.js',
'messages' => [
diff --git a/resources/src/mediawiki.special/mediawiki.special.css
b/resources/src/mediawiki.special/mediawiki.special.css
index 7f3b09a..5d0ec49 100644
--- a/resources/src/mediawiki.special/mediawiki.special.css
+++ b/resources/src/mediawiki.special/mediawiki.special.css
@@ -122,16 +122,3 @@
color: #72777d;
font-size: 90%;
}
-
-/* Special:UserRights */
-.mw-userrights-disabled {
- color: #72777d;
-}
-.mw-userrights-groups * td,
-.mw-userrights-groups * th {
- padding-right: 1.5em;
-}
-
-.mw-userrights-groups * th {
- text-align: left;
-}
diff --git a/resources/src/mediawiki.special/mediawiki.special.userrights.css
b/resources/src/mediawiki.special/mediawiki.special.userrights.css
index a4b4087..acfdb56 100644
--- a/resources/src/mediawiki.special/mediawiki.special.userrights.css
+++ b/resources/src/mediawiki.special/mediawiki.special.userrights.css
@@ -10,3 +10,15 @@
display: inline-block;
vertical-align: middle;
}
+
+.mw-userrights-disabled {
+ color: #72777d;
+}
+.mw-userrights-groups * td,
+.mw-userrights-groups * th {
+ padding-right: 1.5em;
+}
+
+.mw-userrights-groups * th {
+ text-align: left;
+}
--
To view, visit https://gerrit.wikimedia.org/r/392313
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I0e3cf5e3d69f32a30e5fe6dc0d2fd964c4f5720c
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Fomafix <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
