Index: trunk/themes/default2007/platform/inc/script.js
===================================================================
diff -u -N
--- trunk/themes/default2007/platform/inc/script.js	(revision 8879)
+++ trunk/themes/default2007/platform/inc/script.js	(revision 0)
@@ -1,12 +0,0 @@
-function update_checkbox(cb, cb_hidden) {
-	cb_hidden.value = cb.checked ? 1 : 0;
-}
-
-function redirect($url) {
-	window.location.href = $url;
-}
-
-function open_window($url, $window_name, $width, $height) {
-	window.open($url, $window_name, 'width='+$width+',height='+$height+',resizable=yes');
-	return false;
-}
\ No newline at end of file