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

Skin style for ULS no longer needed

Browse source 
Fixes upstream in ULS (Ie9e30af5468aea9803d77c9a36e480ba2b2e86a0)
mean these are no longer necessary

Bug: T289630
Change-Id: I1edee874a42b070bc319648496ae80a01b6365fb
This commit is contained in:
jdlrobson 2021-08-31 09:17:24 -07:00 committed by Bernard Wang
parent fed987d079
commit 0a47c667d8
2 changed files with 0 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
skin.json
View file

@ -229,7 +229,6 @@
"ResourceModuleSkinStyles": {
"vector": {
"+ext.echo.styles.alert": "skinStyles/ext.echo.styles.alert.less",
"+ext.uls.pt": "skinStyles/ext.uls.pt.less",
"jquery.tipsy": "skinStyles/jquery.tipsy.less",
"jquery.ui": [
"skinStyles/jquery.ui/jquery.ui.core.css",

11
skinStyles/ext.uls.pt.less
View file

@ -1,11 +0,0 @@
// Add padding around uls trigger when in user links.
// !important as we always want to add extra margin when the uls trigger is inside the user links.
// Using !important is cleaner than having to rely on specificity.
.vector-user-links {
.uls-trigger {
// stylelint-disable-next-line declaration-no-important
margin-left: 12px !important;
// stylelint-disable-next-line declaration-no-important
margin-right: 12px !important;
}
}