Improve docs for $wgPHPSessionHandling

Change-Id: I5eacd8205c1346f6d1dde6d4a5fac51bbf6f2615

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';