[1] Define exposure of the Push API interfaces (beverloo著, 2017-05-04 01:32:20 +09:00) https://github.com/w3c/push-api/commit/350ee328178b1635f141412831892b16cb711305