replaced "foo" with 'foo' while doing other
[squirrelmail.git] / src / signout.php
index d77db43..179cfb0 100644 (file)
    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.
        $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();
 ?>
 <HTML>
    <HEAD>
 <?php
-   if ($theme_css != "") {
+   if ($theme_css != '') {
       printf ('<LINK REL="stylesheet" TYPE="text/css" HREF="%s">', 
                $theme_css);
       echo "\n";
    
    echo "<TITLE>$org_title - Signout</TITLE>\n";
    echo "</HEAD><BODY TEXT=$color[8] BGCOLOR=$color[4] LINK=$color[7] VLINK=$color[7] ALINK=$color[7]>\n";
-   echo "<BR><BR><TABLE BGCOLOR=FFFFFF BORDER=0 COLS=1 WIDTH=50% CELLSPACING=0 CELLPADDING=2 ALIGN=CENTER>";
+   echo '<BR><BR><TABLE BGCOLOR="FFFFFF" BORDER="0" COLS="1" WIDTH="50%" CELLSPACING="0" CELLPADDING="2" ALIGN="CENTER">';
    echo "   <TR BGCOLOR=$color[0] WIDTH=100%>";
-   echo "      <TD ALIGN=CENTER>";
-   echo "         <B>";
+   echo '      <TD ALIGN="CENTER">';
+   echo '         <B>';
    echo _("Sign Out");
-   echo "</B>";
-   echo "      </TD>";
-   echo "   </TR>";
+   echo '</B>';
+   echo '      </TD>';
+   echo '   </TR>';
    echo "   <TR BGCOLOR=$color[4] WIDTH=100%>";
-   echo "      <TD ALIGN=CENTER>";
-   echo "         <BR>";
+   echo '      <TD ALIGN=CENTER>';
+   echo '         <BR>';
    echo _("You have been successfully signed out.");
-   echo "<BR>";
-   echo "<A HREF=\"login.php\" TARGET=_top>";
+   echo '<BR>';
+   echo '<A HREF="login.php" TARGET=_top>';
    echo _("Click here to log back in.");
-   echo "</A><BR><BR>";
-   echo "      </TD>";
-   echo "   </TR>";
+   echo '</A><BR><BR>';
+   echo '      </TD>';
+   echo '   </TR>';
    echo "   <TR BGCOLOR=$color[0] WIDTH=100%>";
-   echo "      <TD ALIGN=CENTER>";
-       echo "                  <br>";
-   echo "      </TD>";
-   echo "   </TR>";
-   echo "</TABLE>";
-       echo "<br><br>";
+   echo '      <TD ALIGN="CENTER">;
+       echo '                  <br>';
+   echo '      </TD>';
+   echo '   </TR>';
+   echo '</TABLE>';
+       echo '<br><br>';
 ?>
 </BODY>
 </HTML>