diff options
Diffstat (limited to 'webapps/scripting/client/js_scripts.js')
-rw-r--r-- | webapps/scripting/client/js_scripts.js | 60 |
1 files changed, 0 insertions, 60 deletions
diff --git a/webapps/scripting/client/js_scripts.js b/webapps/scripting/client/js_scripts.js deleted file mode 100644 index 1c6e5806f4..0000000000 --- a/webapps/scripting/client/js_scripts.js +++ /dev/null @@ -1,60 +0,0 @@ -/* - Beginnnigs of a script manager for SWAT. - - Copyright (C) Deryck Hodge 2005 - released under the GNU GPL Version 2 or later -*/ - -var head = document.getElementsByTagName('head')[0]; -var scripts = document.getElementsByTagName('script'); - -function __has_js_script(file) -{ - var i; - for (i=0; i<scripts.length; i++) { - if (scripts[i].src.indexOf(file) > -1) { - return true; - } else { - return false; - } - } -} - -function __get_js_script(file) -{ - var i; - for (i=0; i<scripts.length; i++) { - if (scripts[i].src.indexOf(file) > -1) { - return scripts[i]; - } - } -} - -function __add_js_script(path) -{ - // Create a unique ID for this script - var srcID = new Date().getTime(); - - var script = document.createElement('script'); - script.type = 'text/javascript'; - script.id = srcID; - - head.appendChild(script); - - // IE works only with the path set after appending to the document - document.getElementById(srcID).src = path; -} - -function __remove_js_script(path) -{ - var script = __get_js_script(path); - script.parentNode.removeChild(script); -} - -document.js = new Object(); -document.js.scripts = scripts; -document.js.hasScript = __has_js_script; -document.js.getScript = __get_js_script; -document.js.add = __add_js_script; -document.js.remove = __remove_js_script; - |