michael@0: /* -*- Mode: IDL; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0: * License, v. 2.0. If a copy of the MPL was not distributed with this file,
michael@0: * You can obtain one at http://mozilla.org/MPL/2.0/.
michael@0: */
michael@0: 
michael@0: [NoInterfaceObject, NavigatorProperty="push", JSImplementation="@mozilla.org/push/PushManager;1", Func="Navigator::HasPushNotificationsSupport"]
michael@0: interface PushManager {
michael@0:     DOMRequest register();
michael@0:     DOMRequest unregister(DOMString pushEndpoint);
michael@0:     DOMRequest registrations();
michael@0: };