diff -r 93d9cbad255d -r 4c86151704e9 web/res/jquery.tools/jquery.tools.min.js