w3c/push-api — pull request #34 by mvano (2014-09-02 13:49:02+00:00)
Title: Remove pushRegistrationId from PushMessage. Fixes issue #32.

* Remove pushRegistrationId from PushMessage
* While removing the step for setting pushRegistrationId I noticed the step for setting data was missing, so I added that while I was touching that section anyway.