This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-Editcount
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-Editcount
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount
synced
2024-12-11 16:16:28 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
d2bd9efa0a
mediawiki-extensions-Editcount
/
.eslintrc.json
8 lines
86 B
JSON
Raw
Normal View
History
Unescape
Escape
build: Replace jsonlint with eslint Bug: T220036 Change-Id: Icce53006c311bf7201d4b69665b9edca81f173c5
2021-02-16 07:42:10 +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: Icdc8ef31b5e87db8dbc06ea5a7621fb58b9722c0
2021-03-13 12:09:02 +00:00
"wikimedia/client-es5"
,
build: Updating eslint-config-wikimedia to 0.18.2 Additional changes: * Dropped .php5 and .inc files from .phpcs.xml (T200956). * Added the `wikimedia/mediawiki` profile in .eslintrc.json (T262222). Change-Id: I222da0d80ad6a7f80d0b622273db5614d56a0620
2021-03-06 15:16:18 +00:00
"wikimedia/mediawiki"
build: Replace jsonlint with eslint Bug: T220036 Change-Id: Icce53006c311bf7201d4b69665b9edca81f173c5
2021-02-16 07:42:10 +00:00
]
}
Reference in a new issue
Copy permalink