The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/dom/webidl/PushManager.webidl	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,12 @@
     1.4 +/* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
     1.5 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.6 +* License, v. 2.0. If a copy of the MPL was not distributed with this file,
     1.7 +* You can obtain one at http://mozilla.org/MPL/2.0/.
     1.8 +*/
     1.9 +
    1.10 +[NoInterfaceObject, NavigatorProperty="push", JSImplementation="@mozilla.org/push/PushManager;1", Func="Navigator::HasPushNotificationsSupport"]
    1.11 +interface PushManager {
    1.12 +    DOMRequest register();
    1.13 +    DOMRequest unregister(DOMString pushEndpoint);
    1.14 +    DOMRequest registrations();
    1.15 +};