From 7b0d37d79d9ec659a96c33d96e5f974dba8f23fb Mon Sep 17 00:00:00 2001
From: Chad Horohoe <demon@users.mediawiki.org>
Date: Tue, 14 Apr 2009 00:29:30 +0000
Subject: [PATCH] (bug 18442) DefaultSettings docs. $wgLogRestrictions fixed.
 Patch by jidanni.

---
 includes/DefaultSettings.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index dc8dfead46..ee97f32af6 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2888,6 +2888,7 @@ $wgLogTypes = array( '',
  * Users without this will not see it in the option menu and can not view it
  * Restricted logs are not added to recent changes
  * Logs should remain non-transcludable
+ * Format: logtype => permissiontype
  */
 $wgLogRestrictions = array(
 	'suppress' => 'suppressionlog'
-- 
2.20.1