diff options
Diffstat (limited to 'dom/webidl')
| -rw-r--r-- | dom/webidl/Performance.webidl | 2 | ||||
| -rw-r--r-- | dom/webidl/moz.build | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/dom/webidl/Performance.webidl b/dom/webidl/Performance.webidl index 0bd2677df..e811e1cee 100644 --- a/dom/webidl/Performance.webidl +++ b/dom/webidl/Performance.webidl @@ -55,12 +55,14 @@ partial interface Performance { attribute EventHandler onresourcetimingbufferfull; }; +#ifdef MOZ_DEVTOOLS_SERVER // GC microbenchmarks, pref-guarded, not for general use (bug 1125412) [Exposed=Window] partial interface Performance { [Pref="dom.enable_memory_stats"] readonly attribute object mozMemory; }; +#endif // http://www.w3.org/TR/user-timing/ [Exposed=(Window,Worker)] diff --git a/dom/webidl/moz.build b/dom/webidl/moz.build index 89c149db7..156da302d 100644 --- a/dom/webidl/moz.build +++ b/dom/webidl/moz.build @@ -12,6 +12,7 @@ PREPROCESSED_WEBIDL_FILES = [ 'HTMLMediaElement.webidl', 'Navigator.webidl', 'Node.webidl', + 'Performance.webidl', 'Window.webidl', ] @@ -329,7 +330,6 @@ WEBIDL_FILES = [ 'PaintRequestList.webidl', 'PannerNode.webidl', 'ParentNode.webidl', - 'Performance.webidl', 'PerformanceEntry.webidl', 'PerformanceMark.webidl', 'PerformanceMeasure.webidl', |