rem: jQuery.readyList.push( function() { return f.apply(this, [jQuery]) } ); 
add: jQuery.safariTimer = setInterval(function(){  if ( document.readyState == "loaded" || document.readyState == "complete" ) {   clearInterval( jQuery.safariTimer ); jQuery.safariTimer = null;   jQuery.ready(); } }, 10); 
context: 			jQuery.readyList.push( function() { return f.apply(this, [jQuery]) } );
meta: 3749	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3749/5f340cf0d42a13af02141ec63548235f2b8823c2/jquery.js/buggy/sandbox/py-rest-doc/sphinx/style/jquery.js