Merge "Allow wildcard searching in wiki IDs for interwiki user rights logs"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 21 Jul 2014 18:39:20 +0000 (18:39 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 21 Jul 2014 18:39:20 +0000 (18:39 +0000)
commitb2645d82849ca74b0e6b8df6a3e28e81d0561a58
treed566a861755f067dd0c60ea5c61568f41a50dd50
parent98689e7871c6374be9f538a9a12c6063bc7ac8c6
parent3f2f32abfe7af7d17eb1616a2ba613da3392e9b5
Merge "Allow wildcard searching in wiki IDs for interwiki user rights logs"
includes/logging/LogPager.php