Fix for #923, #1136 and #1233
[jquery.git] / src / intro.js
1 // prevent execution of jQuery if included more than once
2 if(typeof window.jQuery == "undefined") {