remove obsolete userSwitch()

diff --git a/prefs.js b/prefs.js
index 44b79fc737ee6df4d5c1b4765a0d52d57ce33071..40dd5ff53e16edb30524144cd6585e3a6082ac39 100644 (file)
--- 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 8665d29a60b7274a4bd652df407518efa4e15156..6a0ae0f9f757022dca805bb94d9ed7313b916a6b 100644 (file)
--- 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 {