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;