wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-11 17:01:58 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Remove unneeded inline stylelint-disable-next-line

Browse source 
modules/realtimepreview/RealtimePreview.less
 57:3  ✖  Needless disable for "plugin/no-unsupported-browser-features"
--report-needless-disables

modules/realtimepreview/TwoPaneLayout.less
  4:2  ✖  Needless disable for "plugin/no-unsupported-browser-features"
--report-needless-disables
 11:3  ✖  Needless disable for "plugin/no-unsupported-browser-features"
--report-needless-disables

Change-Id: I2b9cdca89e4e14e22a6a467efe00d51643962c08
This commit is contained in:
Umherirrender 2023-03-21 23:02:20 +01:00
parent 97f104d58d
commit 330df284d8
2 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
modules/realtimepreview/RealtimePreview.less
View file

@ -54,7 +54,6 @@
}
100% {
// stylelint-disable-next-line plugin/no-unsupported-browser-features
left: calc( 100% - @loadingbar-width );
}
}

2
modules/realtimepreview/TwoPaneLayout.less
View file

@ -1,14 +1,12 @@
@import 'mediawiki.ui/variables.less';
.ext-WikiEditor-twopanes-TwoPaneLayout {
// stylelint-disable-next-line plugin/no-unsupported-browser-features
display: flex;
.ext-WikiEditor-twopanes-pane1 {
border: 1px solid @colorGray12;
border-width: 0 1px 0 0;
// Offset by half the difference in padding and the UI affordance.
// stylelint-disable-next-line plugin/no-unsupported-browser-features
width: ~'calc( 50% - 9px )';
}