wikimedia/mediawiki-extensions-Description2
1
0
Fork 1
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Description2 synced 2024-09-23 10:20:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Descri.../.eslintrc.json

8 lines
86 B
JSON
Raw Normal View History

build: Replace jsonlint with eslint Bug: T220036 Change-Id: I1651fbf89286442b392e6fe90899756705667f04
2021-02-15 19:27:55 +00:00
{
"root": true,
"extends": [
build: Updating eslint-config-wikimedia to 0.19.0 Additional changes: * eslint: Renamed `wikimedia/client` profile to `client-es5` (T277085). Change-Id: Id448daca02ae7050e34997b5982e9a194e55b6bf
2021-03-13 10:26:24 +00:00
"wikimedia/client-es5",
build: Updating eslint-config-wikimedia to 0.18.2 Additional changes: * Added the `wikimedia/mediawiki` profile in .eslintrc.json (T262222). Change-Id: I7a92ae6bbc7749a1adf18cf6f57a792ac4d5f8a3
2021-03-06 13:15:17 +00:00
"wikimedia/mediawiki"
build: Replace jsonlint with eslint Bug: T220036 Change-Id: I1651fbf89286442b392e6fe90899756705667f04
2021-02-15 19:27:55 +00:00
]
}
Reference in a new issue Copy permalink