commit 33bb07e68daed5a291f342526e73f5563bba429f
author Thomas Broyer <t.broyer@gmail.com> Sun Sep 24 16:25:03 2017 +0200
committer Thomas Broyer <t.broyer@gmail.com> Mon Sep 25 08:41:13 2017 +0000
tree 2c58cbf4666999bf9ba0a849f98abd6e5e3d6493
parent 2a976a3362864a9c9ab28cc1ad1b1ada43628193

Make sure GWT never emits '$stats' global

That would conflict with lightweight metrics.

Bug: #9196
Bug-Link: https://github.com/gwtproject/gwt/issues/9196
Change-Id: I9970b22e9e038b82f97c6a4fa7c8d0ae3c991e49

dev/core/src/com/google/gwt/dev/js/ast/JsRootScope.java

diff --git a/dev/core/src/com/google/gwt/dev/js/ast/JsRootScope.java b/dev/core/src/com/google/gwt/dev/js/ast/JsRootScope.java
index f936585..6420f82 100644
--- a/dev/core/src/com/google/gwt/dev/js/ast/JsRootScope.java
+++ b/dev/core/src/com/google/gwt/dev/js/ast/JsRootScope.java
@@ -329,6 +329,7 @@
 
       // GWT-defined identifiers
       "$wnd", "$doc", "$moduleName", "$moduleBase", "$gwt_version", "$sessionId", "gwtOnLoad",
+      "$stats",
       // Any new gwt-related global should be a property of $gwt.
       "$gwt",