wikimedia/mediawiki-extensions-Description2
1
0
Fork 1
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Description2 synced 2024-11-11 16:49:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
191 commits 26 branches 0 tags 2.9 MiB
Commit graph

3 commits

Author SHA1 Message Date
libraryupgrader 9d0668f767 build: Updating eslint-config-wikimedia to 0.19.0 
Additional changes:
* eslint: Renamed `wikimedia/client` profile to `client-es5` (T277085).

Change-Id: Id448daca02ae7050e34997b5982e9a194e55b6bf
 2021-03-13 10:26:43 +00:00
libraryupgrader b361f369af build: Updating eslint-config-wikimedia to 0.18.2 
Additional changes:
* Added the `wikimedia/mediawiki` profile in .eslintrc.json (T262222).

Change-Id: I7a92ae6bbc7749a1adf18cf6f57a792ac4d5f8a3
 2021-03-06 13:15:22 +00:00
Umherirrender 3c124d97bb build: Replace jsonlint with eslint 
Bug: T220036
Change-Id: I1651fbf89286442b392e6fe90899756705667f04
 2021-02-15 20:27:55 +01:00