SessionManager is a general-purpose session management framework, rather
than the cookie-based sessions that PHP wants to provide us.
While fallback is provided for using $_SESSION and other PHP session
management functions, they should be avoided in favor of using
For proof-of-concept extensions, see OAuth change Ib40b221 and
CentralAuth change I27ccabdb.