if (($VIEW == 1) && ($_SERVER['PHP_SELF'])) return;
// Session management initalization
-if (empty($PHPSESSID))
-{
+if (empty($PHPSESSID)) {
// This fixes some strange session cookie problems
if (empty($_COOKIE['PHPSESSID'])) unset($_COOKIE['PHPSESSID']);
@session_start();
$PHPSESSID = @session_id();
-}
- else
-{
+} else {
@session_id($PHPSESSID);
@session_start();
}