diff options
Diffstat (limited to 'dom/webidl/Performance.webidl')
| -rw-r--r-- | dom/webidl/Performance.webidl | 2 |
1 files changed, 2 insertions, 0 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)] |