Merge "Remove 'patrol' from $wgActionFilteredLogs"

diff --combined includes/DefaultSettings.php
index dcf648e,aec9d28..18c941e
--- 1/includes/DefaultSettings.php
--- 2/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@@ -3237,14 -3237,6 +3237,14 @@@ $wgHTMLFormAllowTableFormat = true
   */
  $wgUseMediaWikiUIEverywhere = false;
  
 +/**
 + * Temporary variable that determines whether the EditPage class should use OOjs UI or not.
 + * This will be removed later and OOjs UI will become the only option.
 + *
 + * @since 1.32
 + */
 +$wgOOUIPreferences = false;
 +
  /**
   * Whether to label the store-to-database-and-show-to-others button in the editor
   * as "Save page"/"Save changes" if false (the default) or, if true, instead as
@@@ -5669,7 -5661,6 +5669,7 @@@ $wgRateLimits = 
        'edit' => [
                'ip' => [ 8, 60 ],
                'newbie' => [ 8, 60 ],
 +              'user' => [ 90, 60 ],
        ],
        // Page moves
        'move' => [
@@@ -7864,10 -7855,6 +7864,6 @@@ $wgActionFilteredLogs = 
                'autocreate' => [ 'autocreate' ],
                'byemail' => [ 'byemail' ],
        ],
-       'patrol' => [
-               'patrol' => [ 'patrol' ],
-               'autopatrol' => [ 'autopatrol' ],
-       ],
        'protect' => [
                'protect' => [ 'protect' ],
                'modify' => [ 'modify' ],