Session history management

Method of manipulating the user's browser's session history in JavaScript using `history.pushState`, `history.replaceState` and the `popstate` event.

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.

history api: pushstate

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

permissions api: `push` permission

pushevent api

pushevent api: data

pushevent api: `pushevent()` constructor

pushmanager api

pushmanager api: getsubscription

pushmanager api: haspermission

pushmanager api: permissionstate

pushmanager api: register

pushmanager api: registrations

pushmanager api: subscribe

pushmanager api: supportedcontentencodings

pushmanager api: unregister

pushmanager api: available in workers

pushmessagedata api

pushmessagedata api: arraybuffer

pushmessagedata api: blob

pushmessagedata api: json

pushmessagedata api: text

pushsubscription api

pushsubscriptionchangeevent api

pushsubscriptionchangeevent api: newsubscription

pushsubscriptionchangeevent api: oldsubscription

pushsubscriptionchangeevent api: `pushsubscriptionchangeevent()` constructor

pushsubscriptionoptions api

pushsubscriptionoptions api: applicationserverkey

pushsubscriptionoptions api: uservisibleonly

pushsubscription api: endpoint

pushsubscription api: expirationtime

pushsubscription api: `getkey()`

pushsubscription api: options

pushsubscription api: subscriptionid

pushsubscription api: `tojson()`

pushsubscription api: `unsubscribe()`

serviceworkerglobalscope api: `pushsubscriptionchange` event

serviceworkerglobalscope api: `push` event

serviceworkerregistration api: pushmanager

css property: appearance: `<compat-auto>` (compatibility values `searchfield`, `textarea`, `push-button`, `slider-horizontal`, `checkbox`, `radio`, `square-button`, `menulist`, `listbox`, `meter`, `progress-bar`, `button`)

javascript built-in: array: push