mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets
synced 2024-11-15 03:23:51 +00:00
00ce2a1e58
composer: * mediawiki/mediawiki-phan-config: 0.12.1 → 0.14.0 npm: * grunt-banana-checker: 0.11.0 → 0.11.1 Change-Id: I5af3357248500669710cd4bdb3bc4f788392415a
16 lines
309 B
JSON
16 lines
309 B
JSON
{
|
|
"name": "gadgets",
|
|
"version": "0.0.0",
|
|
"private": true,
|
|
"description": "Build tools for the Gadgets extension.",
|
|
"scripts": {
|
|
"test": "grunt test"
|
|
},
|
|
"devDependencies": {
|
|
"eslint-config-wikimedia": "0.26.0",
|
|
"grunt": "1.6.1",
|
|
"grunt-banana-checker": "0.11.1",
|
|
"grunt-eslint": "24.3.0"
|
|
}
|
|
}
|