wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-03 20:06:59 +00:00
Code Issues Packages Projects Releases Wiki Activity
6103 commits 14 branches 19 tags 77 MiB
Commit graph

5 commits

Author SHA1 Message Date
Ed Sanders ffe3363d09 build: Update eslint-config-wikimedia to 0.16.1 
Change-Id: I2ce14429f9440e69e36fa349847f58fb32862f2a
 2020-06-15 16:19:00 +01:00
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