Re: [push-api] ServiceWorkerRegistration.pushRegistrationManager is very verbose (#47) from Michael van Ouwerkerk on 2014-12-05 (public-webapps-github@w3.org from December 2014)

From: Michael van Ouwerkerk <notifications@github.com>
Date: Fri, 05 Dec 2014 04:46:37 -0800
To: w3c/push-api <push-api@noreply.github.com>
Message-ID: <w3c/push-api/issues/47/65785291@github.com>

Using `pushManager` of type `PushManager` has worked well for me. It's how I implemented it in Chrome, and it has felt like a reasonably distinct identifier that is not overly verbose.

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/47#issuecomment-65785291

Received on Friday, 5 December 2014 12:47:06 UTC