2 Beginnnigs of a script manager for SWAT.
4 Copyright (C) Deryck Hodge 2005
5 released under the GNU GPL Version 3 or later
8 var head = document.getElementsByTagName('head')[0];
9 var scripts = document.getElementsByTagName('script');
11 function __has_js_script(file)
14 for (i=0; i<scripts.length; i++) {
15 if (scripts[i].src.indexOf(file) > -1) {
23 function __get_js_script(file)
26 for (i=0; i<scripts.length; i++) {
27 if (scripts[i].src.indexOf(file) > -1) {
33 function __add_js_script(path)
35 // Create a unique ID for this script
36 var srcID = new Date().getTime();
38 var script = document.createElement('script');
39 script.type = 'text/javascript';
42 head.appendChild(script);
44 // IE works only with the path set after appending to the document
45 document.getElementById(srcID).src = path;
48 function __remove_js_script(path)
50 var script = __get_js_script(path);
51 script.parentNode.removeChild(script);
54 document.js = new Object();
55 document.js.scripts = scripts;
56 document.js.hasScript = __has_js_script;
57 document.js.getScript = __get_js_script;
58 document.js.add = __add_js_script;
59 document.js.remove = __remove_js_script;