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
6825 commits 13 branches 19 tags 77 MiB
Commit graph

7 commits

Author SHA1 Message Date
Ed Sanders ba38b57c83 eslint: Lint Gruntile.js using server rules 
Change-Id: Ic7d67098492558fdd6cec292afd22aaf8693a594
 2022-02-07 16:30:24 +00:00
Umherirrender d4640b31f0 build: Update eslint-config-wikimedia to 0.21.0 
This includes the update of lockFile version

Bug: T225730
Change-Id: I04f2c6ef8751b3ffff886da4b69c2ed80425de91
 2021-12-21 23:08:09 +01:00
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