From 6d7057ee3a33c4403724a1449a37eb806c054ec8 Mon Sep 17 00:00:00 2001 From: Brad Jorsch Date: Wed, 10 Feb 2016 14:03:50 -0500 Subject: [PATCH] Improve docs for $wgPHPSessionHandling Change-Id: I5eacd8205c1346f6d1dde6d4a5fac51bbf6f2615 --- includes/DefaultSettings.php | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index a6a0c75b54..c886f135eb 100644 --- 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'; -- 2.20.1