As agreed in recent discussions, we will be adding push support directly to Echo rather than building and launching the same functionality in a new MediaWiki extension. This task is to implement that support, including
- subscription management
- a new 'push' notifier type for submitting notifications to the service for pushing to users
For Phase 1, only app push support is needed. Web push support will be added in Phase 2.