mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-11-29 15:52:07 +00:00
e5497b955e
For review purposes, the important changes are in dom/bindings/Configuration.py
and dom/bindings/parser.
The changes to the IDL files were done by running these in dom/webidl
and dom/bindings/test:
perl -pi -e 's/^interface ([A-Za-z0-9_]+)($| [:{])/[Exposed=Window]\ninterface \1\2/' *.webidl
perl -pi -e 'BEGIN { $/ = undef; } s/\[HTMLConstructor\]\n\[Exposed=Window\]/[HTMLConstructor,\n Exposed=Window]/g' *.webidl
perl -pi -e 'BEGIN { $/ = undef; } s/\[NoInterfaceObject\]\n\[Exposed=Window\]/[NoInterfaceObject,\n Exposed=Window]/g' *.webidl
perl -pi -e 'BEGIN { $/ = undef; } s/\[ChromeOnly\]\n\[Exposed=Window\]/[ChromeOnly,\n Exposed=Window]/g' *.webidl
And running this in dom/chrome-webidl:
perl -pi -e 'BEGIN { $/ = undef; } s/\[ChromeOnly\]\ninterface/[ChromeOnly, Exposed=Window]\ninterface/g' *.webidl
and then fixing all the resulting parser failures. I then verified that the
generated code is the same as before this change.
Differential Revision: https://phabricator.services.mozilla.com/D46697
--HG--
extra : moz-landing-system : lando
48 lines
1.5 KiB
Plaintext
48 lines
1.5 KiB
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/.
|
|
*
|
|
* The origin of this IDL file is
|
|
* https://w3c.github.io/push-api/
|
|
*/
|
|
|
|
dictionary PushSubscriptionOptionsInit {
|
|
// boolean userVisibleOnly = false;
|
|
(BufferSource or DOMString)? applicationServerKey = null;
|
|
};
|
|
|
|
// The main thread JS implementation. Please see comments in
|
|
// dom/push/PushManager.h for the split between PushManagerImpl and PushManager.
|
|
[JSImplementation="@mozilla.org/push/PushManager;1",
|
|
ChromeOnly,
|
|
Exposed=Window]
|
|
interface PushManagerImpl {
|
|
[Throws]
|
|
constructor(DOMString scope);
|
|
|
|
Promise<PushSubscription> subscribe(optional PushSubscriptionOptionsInit options = {});
|
|
Promise<PushSubscription?> getSubscription();
|
|
Promise<PushPermissionState> permissionState(optional PushSubscriptionOptionsInit options = {});
|
|
};
|
|
|
|
[Exposed=(Window,Worker), Pref="dom.push.enabled"]
|
|
interface PushManager {
|
|
[Throws, ChromeOnly]
|
|
constructor(DOMString scope);
|
|
|
|
[Throws, UseCounter]
|
|
Promise<PushSubscription> subscribe(optional PushSubscriptionOptionsInit options = {});
|
|
[Throws]
|
|
Promise<PushSubscription?> getSubscription();
|
|
[Throws]
|
|
Promise<PushPermissionState> permissionState(optional PushSubscriptionOptionsInit options = {});
|
|
};
|
|
|
|
enum PushPermissionState
|
|
{
|
|
"granted",
|
|
"denied",
|
|
"prompt"
|
|
};
|