2013-08-02 17:18:35 -07:00
|
|
|
/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
|
|
|
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this file,
|
|
|
|
|
* You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
|
|
|
*/
|
|
|
|
|
|
2014-05-25 11:31:11 -07:00
|
|
|
[NoInterfaceObject,
|
|
|
|
|
NavigatorProperty="push",
|
|
|
|
|
JSImplementation="@mozilla.org/push/PushManager;1",
|
|
|
|
|
CheckPermissions="push",
|
|
|
|
|
Pref="services.push.enabled"]
|
2013-08-02 17:18:35 -07:00
|
|
|
interface PushManager {
|
|
|
|
|
DOMRequest register();
|
|
|
|
|
DOMRequest unregister(DOMString pushEndpoint);
|
|
|
|
|
DOMRequest registrations();
|
|
|
|
|
};
|
