diff options
author | Andrew Dolgov <[email protected]> | 2010-11-29 13:02:44 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2010-11-29 13:02:44 +0300 |
commit | 30b6ee8c08a5c5d0201be95864706ab529298a70 (patch) | |
tree | 9015ec4ffd49c1dc7fc41c313d5bc6c9f9800102 /modules/pref-prefs.php | |
parent | 5a941e7e93ef2c919c51e235bdd4d43f343b291e (diff) |
clean obsolete options from schema (bump schema version)
Diffstat (limited to 'modules/pref-prefs.php')
-rw-r--r-- | modules/pref-prefs.php | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/modules/pref-prefs.php b/modules/pref-prefs.php index 32b932e83..806d295d0 100644 --- a/modules/pref-prefs.php +++ b/modules/pref-prefs.php @@ -1,12 +1,4 @@ <?php - function prefs_js_redirect() { - print "<html><body> - <script type=\"text/javascript\"> - window.location = 'prefs.php'; - </script> - </body></html>"; - } - function module_pref_prefs($link) { global $access_level_names; @@ -158,24 +150,6 @@ if (!SINGLE_USER_MODE) { -/* if ($_SESSION["pwd_change_result"] == "failed") { - print format_warning("Could not change the password."); - } - - if ($_SESSION["pwd_change_result"] == "ok") { - print format_notice("Password was changed."); - } - - $_SESSION["pwd_change_result"] = ""; */ - -/* if ($_SESSION["prefs_op_result"] == "reset-to-defaults") { - print format_notice(__("The configuration was reset to defaults.")); -} */ - -# if ($_SESSION["prefs_op_result"] == "save-config") { -# print format_notice(__("The configuration was saved.")); -# } - $_SESSION["prefs_op_result"] = ""; print "<div dojoType=\"dijit.layout.AccordionContainer\" region=\"center\">"; |