= 5.3 if date.timezone is not set in php.ini date_default_timezone_set('UTC'); ?> $_SESSION['timezonename_discard_after']) { unset($_SESSION['timezonename']); unset($_SESSION['timezonename_discard_after']); } }