User:PushSubscriptionManager2
From Meta, a Wikimedia project coordination wiki
This is a MediaWiki system account used by the Wikimedia's Push Notifications Infrastructure.
See also Meta:Push subscription managers for what this account will be doing. Questions should be addressed to mediawiki.org. Errors should be reported to Wikimedia Phabricator.
