This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-RSS
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-RSS
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS
synced
2024-11-23 23:34:07 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
REL1_41
mediawiki-extensions-RSS
/
.eslintrc.json
9 lines
108 B
JSON
Raw
Permalink
Normal View
History
Unescape
Escape
build: Replace jshint/jsonlint with eslint Bug: TT195542 Change-Id: Ica7b0a1ac532bf39868edce1cdba2e73fd55c6a9
2020-03-15 10:06:39 +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: Id5b21ebcd17fd2e1b073cdaca10ad028fb3b5701
2021-03-14 10:21:48 +00:00
"wikimedia/client-es5"
,
build: Updating mediawiki/mediawiki-codesniffer to 33.0.0 The following sniffs are failing and were disabled: * MediaWiki.Commenting.PropertyDocumentation.MissingDocumentationProtected * MediaWiki.Commenting.PropertyDocumentation.MissingDocumentationPublic Additional changes: * Dropped .inc files from .phpcs.xml (T200956). * Added the `wikimedia/mediawiki` profile in .eslintrc.json (T262222). * Removed globals `mw`, `OO`, included via `wikimedia/mediawiki` profile (T262222). * Dropped the emtpy global definition in .eslintrc.json. Change-Id: I99fb7d7a3a1f26c4d3a6db9270b73469f9cb1e96
2020-11-04 08:49:07 +00:00
"wikimedia/jquery"
,
"wikimedia/mediawiki"
]
build: Replace jshint/jsonlint with eslint Bug: TT195542 Change-Id: Ica7b0a1ac532bf39868edce1cdba2e73fd55c6a9
2020-03-15 10:06:39 +00:00
}
Reference in a new issue
Copy permalink