This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-Description2
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-Description2
1
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Description2
synced
2024-12-03 10:46:05 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
e3334bc53b
mediawiki-extensions-Descri...
/
.eslintrc.json
8 lines
86 B
JSON
Raw
Normal View
History
Unescape
Escape
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