// Copyright 2014 The Chromium Authors. All rights reserved. | |
// Use of this source code is governed by a BSD-style license that can be | |
// found in the LICENSE file. | |
// https://w3c.github.io/push-api/#extensions-to-the-serviceworkerregistration-interface | |
[ | |
Exposed=(Window, ServiceWorker), | |
RuntimeEnabled=PushMessaging, | |
] partial interface ServiceWorkerRegistration { | |
readonly attribute PushManager pushManager; | |
}; |