mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-30 11:05:51 +00:00
build: Remove unneeded inline stylelint-disable-next-line
modules/ext.wikiEditor.toolbar.styles.less 21:2 ✖ Needless disable for "plugin/no-unsupported-browser-features" --report-needless-disables modules/jquery.wikiEditor.toolbar.less 243:4 ✖ Needless disable for "plugin/no-unsupported-browser-features" --report-needless-disables modules/realtimepreview/RealtimePreview.less 14:2 ✖ Needless disable for "plugin/no-unsupported-browser-features" --report-needless-disables Follow-Up: I2b9cdca89e4e14e22a6a467efe00d51643962c08 Change-Id: Ied9f6b951380c38dfef3ca4674f5568a338ca01e
This commit is contained in:
parent
d37b8048c1
commit
cb002bfb9d
|
@ -18,7 +18,6 @@ form#editform {
|
||||||
|
|
||||||
#wpTextbox1 {
|
#wpTextbox1 {
|
||||||
line-height: 1.5em;
|
line-height: 1.5em;
|
||||||
/* stylelint-disable-next-line plugin/no-unsupported-browser-features */
|
|
||||||
resize: vertical;
|
resize: vertical;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -240,7 +240,6 @@
|
||||||
width: 20%;
|
width: 20%;
|
||||||
height: 125px;
|
height: 125px;
|
||||||
overflow: auto;
|
overflow: auto;
|
||||||
/* stylelint-disable-next-line plugin/no-unsupported-browser-features */
|
|
||||||
resize: horizontal;
|
resize: horizontal;
|
||||||
|
|
||||||
> div {
|
> div {
|
||||||
|
|
|
@ -11,7 +11,6 @@
|
||||||
/* stylelint-disable selector-max-id */
|
/* stylelint-disable selector-max-id */
|
||||||
.ext-WikiEditor-realtimepreview-textbox#wpTextbox1,
|
.ext-WikiEditor-realtimepreview-textbox#wpTextbox1,
|
||||||
.mw-editform .ext-WikiEditor-realtimepreview-textbox#wpTextbox1 {
|
.mw-editform .ext-WikiEditor-realtimepreview-textbox#wpTextbox1 {
|
||||||
// stylelint-disable-next-line plugin/no-unsupported-browser-features
|
|
||||||
resize: none;
|
resize: none;
|
||||||
height: 100%;
|
height: 100%;
|
||||||
min-height: auto;
|
min-height: auto;
|
||||||
|
|
Loading…
Reference in a new issue