w3c/push-api — pull request #90 by bashi (2014-12-03 08:22:32+00:00)
Title: Make PushEventInit inherit from ExtendableEventInit

To resolve #78.