wikimedia/mediawiki-skins-MinervaNeue
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/MinervaNeue synced 2024-09-24 02:38:29 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Diff styles for moving paragraphs and empty lines"

Browse source
This commit is contained in:
jenkins-bot 2020-01-28 17:32:41 +00:00 committed by Gerrit Code Review
parent 5b0a4f30b2 2bf442db12
commit 471fea5208
3 changed files with 31 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
skin.json
View file

@ -159,6 +159,9 @@
},
"ResourceModuleSkinStyles": {
"minerva": {
"mediawiki.diff.styles": [
"skinStyles/mediawiki.diff.styles.less"
],
"mediawiki.searchSuggest": [
"skinStyles/mediawiki.searchSuggest/index.less"
],
@ -221,9 +224,6 @@
"mediawiki.action.edit.styles": [
"skinStyles/mediawiki.action.edit.styles/minerva.less"
],
"mobile.special.mobilediff.styles": [
"skinStyles/mobile.special.mobilediff.styles/minerva.less"
],
"mobile.special.mobilemenu.styles": [
"skinStyles/mobile.special.mobilemenu.styles/minerva.less"
],

28
skinStyles/mediawiki.diff.styles.less Normal file
View file

@ -0,0 +1,28 @@
// stylelint-disable selector-max-id
@import 'mediawiki.ui/variables';
// Override MobileFrontend styles (can be weakened/removed when MobileDiff no longer exists)
#mw-mf-diffview .mw-diff-empty-line {
del,
ins {
width: 100%;
}
}
// By default a pseudo element is used for skins like Vector. We don't want this on Minerva.
.mw-diff-movedpara-right,
.mw-diff-movedpara-left,
.rtl .mw-diff-movedpara-left,
.rtl .mw-diff-movedpara-right {
&:after {
content: none;
}
}
@media all and ( max-width: @width-breakpoint-tablet ) {
// T233151: Remove post-content margin on mobile diff page drawer
// .post-content margin
#mw-mf-userinfo .post-content {
margin: 0;
}
}

9
skinStyles/mobile.special.mobilediff.styles/minerva.less
View file

@ -1,9 +0,0 @@
@import 'mediawiki.ui/variables';
@media all and ( max-width: @width-breakpoint-tablet ) {
// T233151: Remove post-content margin on mobile diff page drawer
// .post-content margin
#mw-mf-userinfo .post-content { // stylelint-disable-line selector-max-id
margin: 0;
}
}