wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
5488 commits 164 branches 0 tags 74 MiB
Commit graph

4 commits

Author SHA1 Message Date
Ed Sanders 80ddee3956 build: Update linters 
Change-Id: I713aafb891306fc21a776a7d4622c6a039798753
 2019-12-12 11:20:49 +00:00
James D. Forrester 38b41c0f98 build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0 
Change-Id: I6747b5e36f64d681b6f83461f0ebb9c9f88bea86
 2019-04-03 15:57:20 -07:00
Ed Sanders 7ed027ddcf build: Update eslint-config-wikimedia to 0.10.1 
Change-Id: I776585adab962c2b1d353d18d3a02b6662941b13
 2019-02-06 01:42:53 +00:00
Ed Sanders 2c089e075d build: Update linters 
Change-Id: I9747097fdf725992710f97d4ce4ea49fd611df1b
 2018-09-11 23:46:52 +01:00