Manual:CookieSessionProvider.php