wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2025-01-07 03:34:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
2458 commits 12 branches 16 tags 72 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders 536470c01d build: Update eslint-config-wikimedia to 0.16.2 
Change-Id: Icb65074fe64993314bbb28f690ce3ce0f89fb57c
 2020-06-26 17:05:56 +01:00
Ed Sanders a17be78b3d build: Update linters 
Change-Id: I9b32f412e7e75918a59bdb239d3a42670177be70
 2019-08-15 09:55:57 +02:00
Ed Sanders c74d2e5313 build: Update linters 
Bug: T202739
Change-Id: Ie3f68977598f46f7e12b216f8381b2e9dc6d83ad
 2018-09-11 10:26:35 -07:00