HomePhabricator

Add SessionManager

Authored by Anomie.

Description

Add SessionManager

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
SessionManager directly.

For proof-of-concept extensions, see OAuth change Ib40b221 and
CentralAuth change I27ccabdb.

Bug: T111296
Change-Id: Ic1ffea74f3ccc8f93c8a23b795ecab6f06abca72

Details

Committed
TgrJan 12 2016, 9:57 PM
Parents
rMW8ff78d13dfbc: Localisation updates from https://translatewiki.net.
Branches
Unknown
Tags
Unknown
ChangeId
Ic1ffea74f3ccc8f93c8a23b795ecab6f06abca72