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

Merge "build: Updating npm dependencies"

Browse source
This commit is contained in:
jenkins-bot 2020-07-17 15:42:59 +00:00 committed by Gerrit Code Review
parent c904b89f3c d3fab1c494
commit 5dfe7beae5
3 changed files with 411 additions and 411 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
modules/jquery.wikiEditor.js
View file

@ -467,12 +467,12 @@
};
/**
* Base UI Construction
*
* The UI is built from several containers, the outer-most being a div classed as "wikiEditor-ui". These containers
* provide a certain amount of "free" layout, but in some situations procedural layout is needed, which is performed
* as a response to the "resize" event.
*/
* Base UI Construction
*
* The UI is built from several containers, the outer-most being a div classed as "wikiEditor-ui". These containers
* provide a certain amount of "free" layout, but in some situations procedural layout is needed, which is performed
* as a response to the "resize" event.
*/
// Assemble a temporary div to place over the wikiEditor while it's being constructed
/* Disabling our loading div for now

806
package-lock.json generated
View file

File diff suppressed because it is too large Load diff

4
package.json
View file

@ -4,10 +4,10 @@
"test": "grunt test"
},
"devDependencies": {
"eslint-config-wikimedia": "0.15.3",
"eslint-config-wikimedia": "0.16.2",
"grunt": "1.1.0",
"grunt-banana-checker": "0.9.0",
"grunt-eslint": "22.0.0",
"grunt-eslint": "23.0.0",
"grunt-stylelint": "0.15.0",
"stylelint-config-wikimedia": "0.10.1"
}