Merge "(bug 42211) Fix the display of some user rights log entries"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 12 Dec 2012 18:35:05 +0000 (18:35 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 12 Dec 2012 18:35:05 +0000 (18:35 +0000)
commitc1cfc80ed007795f7c487900610f983113adf4e5
tree9ce076a9c82f5ff0da4285ec0bfed02c35fcc6c0
parente790288252f26dedc71b8e2463bde79bb96fcacc
parentbaf34a747b99c9257a173a440c69a30237d99573
Merge "(bug 42211) Fix the display of some user rights log entries"
includes/logging/LogFormatter.php