API Doku für Session.php