Could we please have documentation for new config options?

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index b0aef12..02fa564 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -1496,6 +1496,11 @@ $wgCookieDomain = '';
 $wgCookiePath = '/';
 $wgCookieSecure = ($wgProto == 'https');
 $wgDisableCookieCheck = false;
+
+/**
+ * Set authentication cookies to httpOnly to prevent stealing by JS, in brow-
+ * sers that support this feature.
+ */
 $wgCookieHttpOnly = true;
 
 /** A list of cookies that vary the cache (for use by extensions) */