1. Push API

    API to allow messages to be pushed from a server to a browser, even when the site isn't focused or even open in the browser.

  2. gpucommandencoder api: pushdebuggroup

  3. gpucomputepassencoder api: pushdebuggroup

  4. gpudevice api: pusherrorscope

  5. gpurenderbundleencoder api: pushdebuggroup

  6. gpurenderpassencoder api: pushdebuggroup

  7. gpushadermodule api

  8. gpushadermodule api: getcompilationinfo

  9. gpushadermodule api: label

  10. history api: pushstate

  11. history api: pushstate: whether the `unused` parameter is used

  12. permissions api: `push` permission

  13. pushevent api

  14. pushevent api: data

  15. pushevent api: `pushevent()` constructor

  16. pushmanager api

  17. pushmanager api: getsubscription

  18. pushmanager api: haspermission

  19. pushmanager api: permissionstate

  20. pushmanager api: register

  21. pushmanager api: registrations

  22. pushmanager api: subscribe

  23. pushmanager api: `supportedcontentencodings` static property

  24. pushmanager api: unregister

  25. pushmessagedata api

  26. pushmessagedata api: arraybuffer

  27. pushmessagedata api: blob

  28. pushmessagedata api: json

  29. pushmessagedata api: text

  30. pushsubscription api

  31. pushsubscriptionchangeevent api

  32. pushsubscriptionchangeevent api: newsubscription

  33. pushsubscriptionchangeevent api: oldsubscription

  34. pushsubscriptionchangeevent api: `pushsubscriptionchangeevent()` constructor

  35. pushsubscriptionoptions api

  36. pushsubscriptionoptions api: applicationserverkey

  37. pushsubscriptionoptions api: uservisibleonly

  38. pushsubscription api: endpoint

  39. pushsubscription api: expirationtime

  40. pushsubscription api: `getkey()`

  41. pushsubscription api: options

  42. pushsubscription api: subscriptionid

  43. pushsubscription api: `tojson()`

  44. pushsubscription api: `unsubscribe()`

  45. serviceworkerglobalscope api: `pushsubscriptionchange` event

  46. serviceworkerglobalscope api: `push` event

  47. serviceworkerregistration api: pushmanager