From 26a7ccf7219fa63e944020601034427d80c9db32 Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Tue, 4 Nov 2008 00:38:15 +0000
Subject: [PATCH] Fix for r43173. 'patrol' log is part of core; it's not just
 for extensions.

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

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index a86c40c680..af2e699d53 100644
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -2755,8 +2755,7 @@ $wgLogRestrictions = array(
 );
 
 /**
- * Show/hide links on Special:Log will be shown for these log types. Intended 
- * for extensions only.
+ * Show/hide links on Special:Log will be shown for these log types.
  *
  * This is associative array of log type => boolean "hide by default"
  *
-- 
2.20.1