remove obsolete userSwitch()

2 files changed, 0 insertions, 12 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();
diff --git a/tt-rss.js b/tt-rss.js
index 8665d29a6..6a0ae0f9f 100644
--- a/tt-rss.js
+++ b/tt-rss.js
@@ -638,12 +638,6 @@ function catchupCurrentFeed() {
 	}
 }
 
-function userSwitch() {
-	var chooser = document.getElementById("userSwitch");
-	var user = chooser[chooser.selectedIndex].value;
-	window.location = "tt-rss.php?swu=" + user;
-}
-
 function editFeedDlg(feed) {
 	try {