User:KHarlan (WMF)/GSoC19-Echo

Make notification counts update without page reload
Extension:Echo provides a notification system for MediaWiki. This system includes a set of icons in the header that are updated with a count of notifications on page load. There is a long-standing request for the notifications count to update without requiring a page reload, similar to how Special:RecentChanges provides live updates.

This project will involve:


 * updating the notifications count via a polling mechanism. There is some existing code (https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Echo/+/126201, https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Echo/+/239766) and discussion (https://phabricator.wikimedia.org/T168570) that can be used as a reference point.
 * (optional) Writing the code and user preference to temporarily display the notification text using the mw.notify library
 * (optional) ...

More details to be created (unless we should take over https://phabricator.wikimedia.org/T34284)

Skills required Knowledge of JavaScript, PHP will be helpful

Mentors Kosta Harlan, Roan Kattouw

Microtasks to add to the phab task we create or repurpose

https://phabricator.wikimedia.org/T200184 (yes)

https://phabricator.wikimedia.org/T158756 (maybe)

https://phabricator.wikimedia.org/T139779 (yes but with clarifications)