In a previous patch, I fixed the doc.findElements... function to be document.findElements, which uncovered
this bug where we were calling append rather than appendChild, which hoses on Safari. I'm not sure why
it was ok for Chrome, which is where we tested the original fix...

Review at http://gwt-code-reviews.appspot.com/1118801

Review by: conroy@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@9244 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/dev/core/src/com/google/gwt/core/ext/linker/impl/devmode.js b/dev/core/src/com/google/gwt/core/ext/linker/impl/devmode.js
index 82ef66b..e9c6b35 100644
--- a/dev/core/src/com/google/gwt/core/ext/linker/impl/devmode.js
+++ b/dev/core/src/com/google/gwt/core/ext/linker/impl/devmode.js
@@ -215,8 +215,8 @@
   obj.CLASSID = 'CLSID:1D6156B6-002B-49E7-B5CA-C138FB843B4E';
 
   var dochead = document.getElementsByTagName('head')[0];
-  dochead.append(embed);
-  dochead.append(obj);
+  dochead.appendChild(embed);
+  dochead.appendChild(obj);
 }
 
 function findPluginObject() {