dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
be0bb73
)
Improve docs for $wgPHPSessionHandling
author
Brad Jorsch
<bjorsch@wikimedia.org>
Wed, 10 Feb 2016 19:03:50 +0000
(14:03 -0500)
committer
Brad Jorsch
<bjorsch@wikimedia.org>
Wed, 10 Feb 2016 19:03:50 +0000
(14:03 -0500)
Change-Id: I5eacd8205c1346f6d1dde6d4a5fac51bbf6f2615
includes/DefaultSettings.php
patch
|
blob
|
history
diff --git
a/includes/DefaultSettings.php
b/includes/DefaultSettings.php
index
a6a0c75
..
c886f13
100644
(file)
--- a/
includes/DefaultSettings.php
+++ b/
includes/DefaultSettings.php
@@
-2301,7
+2301,11
@@
$wgSessionHandler = null;
/**
* Whether to use PHP session handling ($_SESSION and session_*() functions)
- * @var string 'enable', 'warn', or 'disable'
+ * @since 1.27
+ * @var string
+ * - 'enable': Integrate with PHP's session handling as much as possible.
+ * - 'warn': Integrate but log warnings if anything changes $_SESSION.
+ * - 'disable': Throw exceptions if PHP session handling is used.
*/
$wgPHPSessionHandling = 'enable';