Merge "Expand SessionManager / AuthManager documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 30 Aug 2016 19:11:13 +0000 (19:11 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 30 Aug 2016 19:11:13 +0000 (19:11 +0000)
commit80a372f95741f7f187a11b021035189ec940473a
treef440a1881d1d9cb3c5e177342eb064d39b509eec
parenta9d73a9da85036073988c3f106a0c1273ddbf9b5
parent94e2aa7b55168ca564c7cf09412dbd93c64a86e7
Merge "Expand SessionManager / AuthManager documentation"
includes/WebRequest.php
includes/session/SessionBackend.php