-
Our web pages use the "jquery" javascript library, from code.jquery.com. With this commit we refer to a local copy of the file, instead of always referring to the upstream instance -- which failed when the WRS was not connected to the outside world, and generated extra traffic anyways. Now head.php refers to the local copy; the WRS filesystem includes both the source form (http://code.jquery.com/jquery-1.10.1.js) and the minimized form, unreadable but shorter, which is actually served to the browser (http://code.jquery.com/jquery-1.10.1.min.js). Note: commit author is benoit but then alessandro added the unminimized javascript and wrote the commit message: any error or imprecision is a's, not b's.
727a6ca0