replaced "foo" with 'foo' while doing other

[squirrelmail.git] / src / signout.php
diff --git a/src/signout.php b/src/signout.php

index d77db43beb6571f4caef58ed40ab6b42ccaa111c..179cfb0f2de534220ede371f21cfb13c19b0e793 100644 (file)
--- 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();
  ?>
  <HTML>
     <HEAD>
  <?php
-   if ($theme_css != "") {
+   if ($theme_css != '') {
        printf ('<LINK REL="stylesheet" TYPE="text/css" HREF="%s">', 
                 $theme_css);
        echo "\n";
@@ -54,31 +54,31 @@
     
     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>