Fall back to a self-hosted jQuery if Google CDN fails to load

dlang · Jan 26, 2015 · 0b2fec4 · 0b2fec4
1 parent bf9ef64
commit 0b2fec4
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/doc.ddoc b/doc.ddoc
@@ -58,6 +58,7 @@ $(DIVID mobile-top,
 $(BODY)
 $(FOOTER)
 $(SCRIPTLOAD https://ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js)
+$(SCRIPT window.jQuery || document.write('<script src="js/jquery-1.7.2.min.js">\x3C/script>'))
 $(SCRIPTLOAD js/codemirror-compressed.js)
 $(SCRIPTLOAD js/run-main-website.js)
 $(SCRIPTLOAD js/run.js)