X-Git-Url: https://vcs.fsf.org/?p=squirrelmail.git;a=blobdiff_plain;f=src%2Fsignout.php;h=179cfb0f2de534220ede371f21cfb13c19b0e793;hp=d77db43beb6571f4caef58ed40ab6b42ccaa111c;hb=91dc6e4e1605dc5aee40e3cae9f11d79f785b834;hpb=068acdf9452f8f2acd7165ac26fc25d260b0ac80;ds=sidebyside diff --git a/src/signout.php b/src/signout.php index d77db43b..179cfb0f 100644 --- a/src/signout.php +++ b/src/signout.php @@ -14,20 +14,20 @@ session_start(); if (!isset($strings_php)) - include("../functions/strings.php"); + include('../functions/strings.php'); - include ("../src/load_prefs.php"); + include ('../src/load_prefs.php'); if (!isset($config_php)) - include("../config/config.php"); + include('../config/config.php'); if (!isset($i18n_php)) - include("../functions/i18n.php"); + include('../functions/i18n.php'); if (!isset($prefs_php)) - include ("../functions/prefs.php"); + include ('../functions/prefs.php'); if (!isset($plugin_php)) - include ("../functions/plugin.php"); + include ('../functions/plugin.php'); - set_up_language(getPref($data_dir, $username, "language")); + set_up_language(getPref($data_dir, $username, 'language')); // If a user hits reload on the last page, $base_uri isn't set // because it was deleted with the session. @@ -37,16 +37,16 @@ $base_uri = $regs[1]; } - do_hook("logout"); - setcookie("username", "", 0, $base_uri); - setcookie("key", "", 0, $base_uri); - setcookie("logged_in", "", 0, $base_uri); + do_hook('logout'); + setcookie('username', '', 0, $base_uri); + setcookie('key', '', 0, $base_uri); + setcookie('logged_in', '', 0, $base_uri); session_destroy(); ?> ', $theme_css); echo "\n"; @@ -54,31 +54,31 @@ echo "$org_title - Signout\n"; echo "\n"; - echo "

"; + echo '

'; echo " "; - echo " "; - echo " "; + echo ''; + echo ' '; + echo ' '; echo " "; - echo " "; - echo " "; + echo '

'; + echo ' '; + echo ' '; echo " "; - echo " "; - echo " "; - echo "
"; - echo " "; + echo ' '; + echo ' '; echo _("Sign Out"); - echo ""; - echo "
"; - echo "
"; + echo '
'; + echo '
'; echo _("You have been successfully signed out."); - echo "
"; - echo ""; + echo '
'; + echo '
'; echo _("Click here to log back in."); - echo "

"; - echo "
"; - echo "
"; - echo "
"; - echo "

"; + echo ' ; + echo '
'; + echo ' '; + echo ' '; + echo ''; + echo '

'; ?>