wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-15 03:35:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
1962 commits 162 branches 6 tags 32 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders 4fa41179e8 Remove obsolete aliases from closures 
Bug: T208951
Change-Id: I0b2993912de221e810414e46708c19be163922f6
 2018-11-12 22:28:40 +00:00
Ed Sanders 5a5d351aaf build: Update linters 
Change-Id: Ib52195a49c7333ab0cc8a703f987126cfc4e603e
 2018-09-14 13:19:52 +01:00
Ed Sanders 7eed707a48 Replace jshint/jscs with eslint/stylelint 
Change-Id: Ife5e782bd5513e0496e384655b9b203de5c841a5
 2016-11-21 21:02:38 +00:00