Merge "Make User::getEditCount() always return an integer"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 19 Jul 2013 18:23:21 +0000 (18:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 19 Jul 2013 18:23:21 +0000 (18:23 +0000)
commit7c68e7a22f7db78b68526cfd8dbf998045c0e83d
treea076727f1ea04288824e22185d005fa8c729f1fd
parentc5495b827f0e07af943bd251dcf7e393a0f20a1c
parent1b6c4bc3c7d2e78a060b5bb5b6d51bb48ce26bf9
Merge "Make User::getEditCount() always return an integer"