Improve docs for $wgPHPSessionHandling
authorBrad Jorsch <bjorsch@wikimedia.org>
Wed, 10 Feb 2016 19:03:50 +0000 (14:03 -0500)
committerBrad Jorsch <bjorsch@wikimedia.org>
Wed, 10 Feb 2016 19:03:50 +0000 (14:03 -0500)
commit6d7057ee3a33c4403724a1449a37eb806c054ec8
tree91f8dc297cdb4a77de57d401ee575c0a2ce9d358
parentbe0bb73e8236472297653fb915c00c570696060e
Improve docs for $wgPHPSessionHandling

Change-Id: I5eacd8205c1346f6d1dde6d4a5fac51bbf6f2615
includes/DefaultSettings.php