PushSubscriptionManager2
Joined 15 September 2020
 | 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. |