remove obsolete userSwitch()

1 files changed, 0 insertions, 6 deletions

diff --git a/prefs.js b/prefs.js
index 44b79fc73..40dd5ff53 100644
--- a/prefs.js
+++ b/prefs.js
@@ -1635,12 +1635,6 @@ function pref_hotkey_handler(e) {
 	}
 }
 
-function userSwitch() {
-	var chooser = document.getElementById("userSwitch");
-	var user = chooser[chooser.selectedIndex].value;
-	window.location = "prefs.php?swu=" + user;
-}
-
 function editFeedCats() {
 	if (!xmlhttp_ready(xmlhttp)) {
 		printLockingError();