true); } if (!array_key_exists('options', $_SESSION)) { $_SESSION['options'] = array(); } html_export_var(array('options' => $_SESSION['options']));