Merge "Improve some documentation of AuthManager's additions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 24 May 2016 15:27:02 +0000 (15:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 24 May 2016 15:27:02 +0000 (15:27 +0000)
commiteaae000bd6a9ba542ed2fb3d0f9a8d78be3a8db6
tree319f3407b278027b086850197b656ef1e363af35
parent0df66aa5eba11fad41a0d5607d1f287d70937e9d
parentbac80d179a42d6c9834153c410c602127d1b4c67
Merge "Improve some documentation of AuthManager's additions"
includes/DefaultSettings.php