Manual:SessionProviderInterface.php