Merge "Remove 'patrol' from $wgActionFilteredLogs"