wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
4683 commits 164 branches 0 tags 74 MiB
Commit graph

3 commits

Author SHA1 Message Date
Ed Sanders 9de02857ae Replace .parent with .super 
Also remove unused config fallbacks

Change-Id: I10b1ffc0cf69c52c4394f27c02aac5bca2473374
 2018-05-22 15:56:46 +01:00
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