Luckily, I had a local copy of jquery.tools.min.js on hand and was able to restore many sites we manage here that were using the hosted version at http://cdn.jquerytools.org/1.2.5/full/jquery.tools.min.js

Download jquery.tools.min.js

(Please just download. Don’t link to this from your site, thanks!)

[purehtml id=9]