Merge "Ensure that User::getId() returns int"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 23 Mar 2016 14:58:51 +0000 (14:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 23 Mar 2016 14:58:51 +0000 (14:58 +0000)
commit2f2797e53a60bcdb68b19543dd3258cc2f894617
tree72e02fc56a1d6e7e7879a088c8cc682f7deccf72
parent15474ac5517df375f1dc6ae2c2e6d8ab695b7ecd
parent00581168e107c76f848d5d2d07b087157e40d0c0
Merge "Ensure that User::getId() returns int"
includes/user/User.php