?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: be0bb73) | patch
Improve docs for $wgPHPSessionHandling
commit6d7057ee3a33c4403724a1449a37eb806c054ec8
authorBrad Jorsch <bjorsch@wikimedia.org>
Wed, 10 Feb 2016 19:03:50 +0000 (10 14:03 -0500)
committerBrad Jorsch <bjorsch@wikimedia.org>
Wed, 10 Feb 2016 19:03:50 +0000 (10 14:03 -0500)
tree91f8dc297cdb4a77de57d401ee575c0a2ce9d358tree | snapshot (tar.gz zip)
parentbe0bb73e8236472297653fb915c00c570696060ecommit | diff
Improve docs for $wgPHPSessionHandling

Change-Id: I5eacd8205c1346f6d1dde6d4a5fac51bbf6f2615
includes/DefaultSettings.php diff | blob | blame | history
MediaWiki Core