wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-28 09:40:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
4869 commits 13 branches 19 tags 77 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders 2c089e075d build: Update linters 
Change-Id: I9747097fdf725992710f97d4ce4ea49fd611df1b
 2018-09-11 23:46:52 +01:00
Ed Sanders c8d24ebd17 build: Replace jscs/jshint with eslint 
Change-Id: Iee1d1b20ed31e636bfb8fc8cf9b18ff328bf608c
 2016-11-23 15:25:59 -08:00