Reformat session.php