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

build: Updating npm dependencies

Browse source 
* eslint-config-wikimedia: 0.27.0 → 0.28.0
* grunt-stylelint: 0.19.0 → 0.20.0
* stylelint-config-wikimedia: 0.16.1 → 0.17.1

Change-Id: Ib3d5ebfc33a4d17e1c63d601ba136989866616c5
This commit is contained in:
libraryupgrader 2024-06-07 07:51:58 +00:00
parent 78a58560f5
commit d369d37057
3 changed files with 1680 additions and 2087 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -159,7 +159,7 @@
// Use a timeout to prevent up from moving cursor within new text
// Set to nothing first for the same reason
setTimeout(
function () {
() => {
input.value = '';
input.value = histList[ histPos ];
const caretPos = input.value.length;
@ -236,7 +236,7 @@
// print() output will go in the right place.
input.value = '';
// can't preventDefault on input, so also clear it later
setTimeout( function () {
setTimeout( () => {
input.value = '';
}, 0 );
@ -269,7 +269,7 @@
setPending();
api.postWithToken( 'csrf', params )
.done( function ( result ) {
.done( ( result ) => {
if ( result.sessionIsNew === '' && !sentContent ) {
// Session was lost. Resend query, with content
printClearBar( 'scribunto-console-cleared-session-lost' );
@ -294,7 +294,7 @@
clearPending();
setTimeout( refocus, 0 );
} )
.fail( function ( code, result ) {
.fail( ( code, result ) => {
if ( result.error && result.error.info ) {
printError( result.error.info );
} else if ( result.exception ) {

3753
package-lock.json generated
View file

File diff suppressed because it is too large Load diff

6
package.json
View file

@ -5,11 +5,11 @@
"test": "grunt test"
},
"devDependencies": {
"eslint-config-wikimedia": "0.27.0",
"eslint-config-wikimedia": "0.28.0",
"grunt": "1.6.1",
"grunt-banana-checker": "0.13.0",
"grunt-eslint": "24.3.0",
"grunt-stylelint": "0.19.0",
"stylelint-config-wikimedia": "0.16.1"
"grunt-stylelint": "0.20.0",
"stylelint-config-wikimedia": "0.17.1"
}
}