Fix for r43173. 'patrol' log is part of core; it's not just for extensions.

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index a86c40c..af2e699 100644 (file)
--- 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"
  *