wikimedia/mediawiki-extensions-Editcount
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount synced 2024-11-30 19:15:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
588 commits 25 branches 0 tags 5.1 MiB
Commit graph

3 commits

Author SHA1 Message Date
libraryupgrader b9a60803e3 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:11:46 +00:00
libraryupgrader a6599e6fe6 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:20:38 +00:00
Umherirrender 0295fa556a build: Replace jsonlint with eslint 
Bug: T220036
Change-Id: Icce53006c311bf7201d4b69665b9edca81f173c5
 2021-02-16 08:42:10 +01:00