wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-24 16:25:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "build: Update linters"

Browse source
This commit is contained in:
jenkins-bot 2018-02-04 23:25:41 +00:00 committed by Gerrit Code Review
parent 936aaa89a2 f03a32f6f8
commit 63f169cd82
3 changed files with 9 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/ext.scribunto.edit.css
View file

@ -4,13 +4,13 @@
}
/* Preserve line breaks, but wrap too if browser supports it */
/* stylelint-disable-next-line selector-no-id */
/* stylelint-disable-next-line selector-max-id */
#mw-scribunto-output {
white-space: pre;
white-space: pre-wrap;
}
/* stylelint-disable-next-line selector-no-id */
/* stylelint-disable-next-line selector-max-id */
#mw-scribunto-input {
width: 100%;
border: 0;

4
modules/ext.scribunto.edit.js
View file

@ -299,8 +299,8 @@
if ( result.print !== '' ) {
println( result.print, 'mw-scribunto-print' );
}
if ( result[ 'return' ] !== '' ) {
println( result[ 'return' ], 'mw-scribunto-normalOutput' );
if ( result.return !== '' ) {
println( result.return, 'mw-scribunto-normalOutput' );
}
}
clearPending();

10
package.json
View file

@ -4,13 +4,13 @@
"test": "grunt test"
},
"devDependencies": {
"eslint-config-wikimedia": "0.4.0",
"eslint-config-wikimedia": "0.5.0",
"grunt": "1.0.1",
"grunt-banana-checker": "0.6.0",
"grunt-eslint": "19.0.0",
"grunt-eslint": "20.1.0",
"grunt-jsonlint": "1.1.0",
"grunt-stylelint": "0.7.0",
"stylelint": "7.8.0",
"stylelint-config-wikimedia": "0.4.1"
"grunt-stylelint": "0.9.0",
"stylelint": "8.2.0",
"stylelint-config-wikimedia": "0.4.2"
}
}