Opera is also vulnerable to the getElementById-returning-name issue, fixed it there...
[jquery.git] / src / intro.js
1 /* prevent execution of jQuery if included more than once */
2 if(typeof window.jQuery == "undefined") {