The notification-pusher PHP library supports push notifications for APNS (iOS) and FCM (Android). Product Infrastructure prospectively intends to use it in the proposed PushNotifications MW extension, and requests security review for its inclusion in the mediawiki-vendor repo.
https://packagist.org/packages/sly/notification-pusher
https://github.com/Ph3nol/NotificationPusher