wikimedia/mediawiki-extensions-Interwiki
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Interwiki synced 2024-11-11 16:48:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
1710 commits 283 branches 5 tags 12 MiB
Commit graph

3 commits

Author SHA1 Message Date
libraryupgrader 3c057c920e 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 23:04:27 +00:00
libraryupgrader 1bd3c76254 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:25 +00:00
James D. Forrester 6aaada1b93 build: Install eslint 
Change-Id: Ica9063361e24fb071dc19f3c895078f69ea550c4
 2019-05-06 16:25:42 -07:00