The web-push PHP library supports web push notifications. 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/minishlink/web-push
https://github.com/web-push-libs/web-push-php
{F31656407 size=full}
Already reviewed/included in #MediaWiki-Vendor:
[] web-token/jwt-util-ecc
[x] spomky-labs/base64url
[x] fgrosse/phpasn1
[] web-token/jwt-core
[x] ~~paragonie/random_compat~~ Not required, replace away
[x] ~~paragonie/sodium_compat~~ Not required, replace away
[] web-token/jwt-key-mgmt
[] web-token/jwt-signature
[] web-token/jwt-signature-algorithm-rsa
[] web-token/jwt-signature-algorithm-none
[] web-token/jwt-signature-algorithm-hmac
[] web-token/jwt-signature-algorithm-eddsa
[] web-token/jwt-signature-algorithm-ecdsa
[x] ralouphie/getallheaders
[x] psr/http-message
[x] guzzlehttp/psr7
[x] guzzlehttp/promises
[x] guzzlehttp/guzzle
[] minishlink/web-push