wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-12 09:21:11 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Optimization: move styles specific to redirect pages out of common.less"

Browse source
This commit is contained in:
jenkins-bot 2017-06-21 17:36:50 +00:00 committed by Gerrit Code Review
parent a1ca3c0128 d575e3878a
commit 1a0fd95d8f
3 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
components/common.less
View file

@ -165,11 +165,3 @@ pre,
#siteNotice {
font-size: 0.8em;
}
.redirectText {
font-size: 140%;
}
.redirectMsg p {
margin: 0;
}

1
skin.json
View file

@ -85,6 +85,7 @@
"jquery.ui.spinner": "skinStyles/jquery.ui/jquery.ui.spinner.css",
"jquery.ui.tabs": "skinStyles/jquery.ui/jquery.ui.tabs.css",
"jquery.ui.tooltips": "skinStyles/jquery.ui/jquery.ui.tooltips.css",
"+mediawiki.action.view.redirectPage": "skinStyles/mediawiki.action.view.redirectPage.less",
"+mediawiki.notification": "skinStyles/mediawiki.notification.less",
"+oojs-ui-core.styles": "skinStyles/ooui.less",
"mediawiki.special": "skinStyles/mediawiki.special.less",

7
skinStyles/mediawiki.action.view.redirectPage.less Normal file
View file

@ -0,0 +1,7 @@
.redirectText {
font-size: 140%;
}
.redirectMsg p {
margin: 0;
}