Merge "Remove 'patrol' from $wgActionFilteredLogs"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 11 May 2018 15:25:48 +0000 (15:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 11 May 2018 15:25:48 +0000 (15:25 +0000)
includes/DefaultSettings.php

index dcf648e..18c941e 100644 (file)
@@ -7864,10 +7864,6 @@ $wgActionFilteredLogs = [
                'autocreate' => [ 'autocreate' ],
                'byemail' => [ 'byemail' ],
        ],
-       'patrol' => [
-               'patrol' => [ 'patrol' ],
-               'autopatrol' => [ 'autopatrol' ],
-       ],
        'protect' => [
                'protect' => [ 'protect' ],
                'modify' => [ 'modify' ],