From: jenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Date: Fri, 11 May 2018 15:25:48 +0000 (+0000)
Subject: Merge "Remove 'patrol' from $wgActionFilteredLogs"
X-Git-Tag: 1.34.0-rc.0~5447
X-Git-Url: https://git.cyclocoop.org/%27.%24link.%27?a=commitdiff_plain;h=afebcf5ad3869564bd2007f83e8e750b8a128fc3;p=lhc%2Fweb%2Fwiklou.git

Merge "Remove 'patrol' from $wgActionFilteredLogs"
---

afebcf5ad3869564bd2007f83e8e750b8a128fc3