prototype: Fix contentloaded event initialization in IE. Closes #9457, #9488, #9707.

CHANGELOG

@@ -1,5 +1,7 @@
 *SVN*
 
+* Fix contentloaded event initialization in IE.  Closes #9457, #9488, #9707.  [Mislav Marohnić]
+
 * Deprecate document.getElementsByClassName and Element#getElementsByClassName since native versions return a NodeList and we can only return an Array.  Please use $$ or Element#select instead.  [sam]
   For more information see https://bugzilla.mozilla.org/show_bug.cgi?id=390411
 

src/event.js

@@ -283,9 +283,7 @@ Object.extend(document, {
     }
     
   } else {
-    document.write("<script id=__onDOMContentLoaded defer " +
-      "src='://javascript:void(0)'><\/script>");
-      
+    document.write("<script id=__onDOMContentLoaded defer src=//:><\/script>");
     $("__onDOMContentLoaded").onreadystatechange = function() { 
       if (this.readyState == "complete") {
         this.onreadystatechange = null;