Manual:SessionManagerInterface.php