gecko/dom/webidl/PushManager.webidl
Nikhil Marathe e316ce2e8d Bug 884897 - Convert SimplePush to WebIDL. r=khuey
--HG--
extra : amend_source : e2cdea6c33f920e90c9fb41ee3a3a5d4e80bd9a8
2013-08-02 17:18:35 -07:00

13 lines
519 B
Plaintext

/* -*- 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/.
*/
[NoInterfaceObject, NavigatorProperty="push", JSImplementation="@mozilla.org/push/PushManager;1"]
interface PushManager {
DOMRequest register();
DOMRequest unregister(DOMString pushEndpoint);
DOMRequest registrations();
};