Added boot.
4 switch(url.split(".").pop())
7 element = document.createElement("link");
8 element.setAttribute("rel", "stylesheet");
9 element.setAttribute("type", "text/css");
10 element.setAttribute("href", url);
14 element = document.createElement("script");
15 element.setAttribute("language", "javascript");
16 element.setAttribute("src", url);
19 var head = document.querySelector("head");
20 if (head.innerHTML.indexOf(element.outerHTML) != -1)
21 window.console && window.console.warn("Skipping duplicate include.", url);
23 head.appendChild(element);
26 include("scripts/glMatrix.js");
27 include("scripts/webgl-utils.js");
28 include("scripts/machine.js");