Add multimodule support to super-dev-mode.


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@10884 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/dev/core/src/com/google/gwt/core/ext/linker/impl/properties.js b/dev/core/src/com/google/gwt/core/ext/linker/impl/properties.js
index 6e9ec26..4c0f25a 100644
--- a/dev/core/src/com/google/gwt/core/ext/linker/impl/properties.js
+++ b/dev/core/src/com/google/gwt/core/ext/linker/impl/properties.js
@@ -58,3 +58,8 @@
   };
 
   __MODULE_FUNC__.__computePropValue = computePropValue;
+  var activeModules = (window.__gwt_activeModules =
+      window.__gwt_activeModules || {});
+  var moduleName = __MODULE_FUNC__.__moduleName.replace('.', '_');
+  activeModules[moduleName] = {moduleName: moduleName,
+      bindings: __MODULE_FUNC__.__getPropMap()};