1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/browser/devtools/webconsole/test/test-bug-595934-empty-getelementbyid.js Wed Dec 31 06:09:35 2014 +0100 1.3 @@ -0,0 +1,8 @@ 1.4 +/* 1.5 + * Any copyright is dedicated to the Public Domain. 1.6 + * http://creativecommons.org/publicdomain/zero/1.0/ 1.7 + */ 1.8 + 1.9 +window.addEventListener("load", function() { 1.10 + document.getElementById(""); 1.11 +}, false);