Re: [w3c/push-api] Expose pushManager on Window (PR #393)

@annevk pushed 1 commit.

1bc27048c029fdfff483ce534fe34f08624241ea  account for scope corner case and slightly modernize pushManager getter

-- 
View it on GitHub:
https://github.com/w3c/push-api/pull/393/files/b6747b268eff83ac6dc8723c58566108fb0c4b7d..1bc27048c029fdfff483ce534fe34f08624241ea
You are receiving this because you are subscribed to this thread.

Message ID: <w3c/push-api/pull/393/before/b6747b268eff83ac6dc8723c58566108fb0c4b7d/after/1bc>

Received on Thursday, 14 August 2025 10:22:02 UTC