This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-Interwiki
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-Interwiki
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki
synced
2024-11-23 22:13:37 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
8a6067b097
mediawiki-extensions-Interwiki
/
.eslintrc.json
9 lines
108 B
JSON
Raw
Normal View
History
Unescape
Escape
build: Install eslint Change-Id: Ica9063361e24fb071dc19f3c895078f69ea550c4
2019-05-06 23:25:17 +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: Ie329ba166d337af427cb77dfba228fe617ecf67b
2021-03-13 19:59:13 +00:00
"wikimedia/client-es5"
,
build: Updating mediawiki/mediawiki-codesniffer to 33.0.0 The following sniffs are failing and were disabled: * MediaWiki.Usage.ExtendClassUsage.FunctionConfigUsage Additional changes: * Dropped .inc files from .phpcs.xml (T200956). * Added the `wikimedia/mediawiki` profile in .eslintrc.json (T262222). Change-Id: I4b4509aa409b0b23aa81debd6709810f01953bd9
2020-11-04 02:10:22 +00:00
"wikimedia/jquery"
,
"wikimedia/mediawiki"
build: Install eslint Change-Id: Ica9063361e24fb071dc19f3c895078f69ea550c4
2019-05-06 23:25:17 +00:00
]
}
Reference in a new issue
Copy permalink