wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2025-01-08 13:05:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
2809 commits 11 branches 26 tags 37 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders 7fea791042 build: Update eslint-config-wikimedia to 0.21.0 
Change-Id: I87bca80d107c965296af74e16961cd855d72b806
 2022-02-07 17:27:27 +00:00
Ed Sanders 5a5d351aaf build: Update linters 
Change-Id: Ib52195a49c7333ab0cc8a703f987126cfc4e603e
 2018-09-14 13:19:52 +01:00