gecko-dev/dom/webidl/PluginCrashedEvent.webidl
Mike Conley 97a46ed1e0 Bug 1146955 - Make the GMP pluginID a uint32_t, and dispatch it in the PluginCrashed event. r=jesup r=mrbkap
--HG--
extra : rebase_source : ef8893d470e437d93a44b393f595518acb411852
extra : source : ad87e781794d5bb5337feb6e2608730075a7f71e
extra : histedit_source : 91cbbdedc9273982d0eb6b3c58269c73e0f46f63
2015-05-04 15:40:29 -04:00

29 lines
1019 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/.
*/
[Constructor(DOMString type, optional PluginCrashedEventInit eventInitDict), ChromeOnly]
interface PluginCrashedEvent : Event
{
readonly attribute unsigned long pluginID;
readonly attribute DOMString pluginDumpID;
readonly attribute DOMString pluginName;
readonly attribute DOMString? browserDumpID;
readonly attribute DOMString? pluginFilename;
readonly attribute boolean submittedCrashReport;
readonly attribute boolean gmpPlugin;
};
dictionary PluginCrashedEventInit : EventInit
{
unsigned long pluginID = 0;
DOMString pluginDumpID = "";
DOMString pluginName = "";
DOMString? browserDumpID = null;
DOMString? pluginFilename = null;
boolean submittedCrashReport = false;
boolean gmpPlugin = false;
};