** $Id$
**/
- session_start();
-
- if (!isset($strings_php))
- include("../functions/strings.php");
- if (!isset($config_php))
- include("../config/config.php");
- if (!isset($page_header_php))
- include("../functions/page_header.php");
- if (!isset($display_messages_php))
- include("../functions/display_messages.php");
- if (!isset($imap_php))
- include("../functions/imap.php");
- if (!isset($array_php))
- include("../functions/array.php");
- if (!isset($i18n_php))
- include("../functions/i18n.php");
- if (!isset($auth_php))
- include ("../functions/auth.php");
-
+ include('../src/validate.php');
+ include("../functions/page_header.php");
+ include("../functions/display_messages.php");
+ include("../functions/imap.php");
+ include("../functions/array.php");
include("../src/load_prefs.php");
+
+
displayPageHeader($color, "None");
- is_logged_in();
$helpdir[0] = "basic.hlp";
$helpdir[1] = "main_folder.hlp";