[gwt-contrib] Fix a devmode.js reference to doc, which does not exist (issue1101801)

[unnurg]

Reviewers: conroy,

Description:
Fix a devmode.js reference to doc, which does not exist
Review by: con...@google.com

Please review this at http://gwt-code-reviews.appspot.com/1101801/show

Affected files:
  M dev/core/src/com/google/gwt/core/ext/linker/impl/devmode.js


Index: dev/core/src/com/google/gwt/core/ext/linker/impl/devmode.js
===================================================================
--- dev/core/src/com/google/gwt/core/ext/linker/impl/devmode.js	(revision  
9210)
+++ dev/core/src/com/google/gwt/core/ext/linker/impl/devmode.js	(working  
copy)
@@ -214,7 +214,7 @@
   obj.id = 'pluginObject';
   obj.CLASSID = 'CLSID:1D6156B6-002B-49E7-B5CA-C138FB843B4E';

-  var dochead = doc.getElementsByTagName('head')[0];
+  var dochead = document.getElementsByTagName('head')[0];
   dochead.append(embed);
   dochead.append(obj);
 }
@@ -369,4 +369,3 @@
     window.onUnload = disconnectPlugin();
   }
 }
-


--
http://groups.google.com/group/Google-Web-Toolkit-Contributors