Merge "Log slow diffs"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 18 Mar 2016 00:52:59 +0000 (00:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 18 Mar 2016 00:52:59 +0000 (00:52 +0000)
commitc42f06642091e1cb1142066b0a52a69a0c7e783d
treed80bd974525de2fa3de817b2ae3b7a067b012b05
parente58061015aa965cac583cc3884094d66d14ce21c
parent7b18a62c0efbb7541abf1bc8d459bf6c3cf02775
Merge "Log slow diffs"
includes/diff/DifferenceEngine.php