wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-01 02:46:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
4395 commits 13 branches 19 tags 77 MiB
Commit graph

2 commits

Author SHA1 Message Date
Ed Sanders c8d24ebd17 build: Replace jscs/jshint with eslint 
Change-Id: Iee1d1b20ed31e636bfb8fc8cf9b18ff328bf608c
 2016-11-23 15:25:59 -08:00
Moriel Schottlender e5e19dd0f1 Filter notifications by read state in Special:Notifications 
Change-Id: I7b47e76ae48eaf4732d99616baa3b4b1ee4ddff5
 2016-05-27 13:47:41 -07:00