r20641: Everything relevant from the old swat (now swat.obsolete) directory has been moved to webapps. Remove the obsolete directory.

(This used to be commit e7a17c66ea08d74183efd6c0dedb68992e02e6db)

1 files changed, 0 insertions, 60 deletions

diff --git a/swat.obsolete/scripting/client/js_scripts.js b/swat.obsolete/scripting/client/js_scripts.js
deleted file mode 100644
index 1c6e5806f4..0000000000
--- a/swat.obsolete/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;
-