** $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($imap_php))
- include("../functions/imap.php");
- if (!isset($array_php))
- include("../functions/array.php");
- if (!isset($plugin_php))
- include("../functions/plugin.php");
-
+ include('../src/validate.php');
+ include("../functions/strings.php");
+ include("../config/config.php");
+ include("../functions/page_header.php");
+ include("../functions/imap.php");
+ include("../functions/array.php");
+ include("../functions/plugin.php");
include("../src/load_prefs.php");
displayPageHeader($color, _("None"));