wikimedia/mediawiki-extensions-RSS
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/RSS synced 2024-11-13 17:57:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
567 commits 282 branches 0 tags 4.9 MiB
Commit graph

3 commits

Author SHA1 Message Date
libraryupgrader ec6ff1baa0 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:54 +00:00
libraryupgrader cf14c7761d 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:11 +00:00
zoranzoki21 dce083ed33 build: Replace jshint/jsonlint with eslint 
Bug: TT195542
Change-Id: Ica7b0a1ac532bf39868edce1cdba2e73fd55c6a9
 2020-03-15 11:06:39 +01:00