Ensure that User::getId() returns int
authorSiebrand Mazeland <siebrand@kitano.nl>
Fri, 18 Mar 2016 13:23:40 +0000 (14:23 +0100)
committerSiebrand Mazeland <siebrand@kitano.nl>
Fri, 18 Mar 2016 13:23:40 +0000 (14:23 +0100)
commit00581168e107c76f848d5d2d07b087157e40d0c0
tree4d36ec42a9c0b3f3bffbfcb28715af28929d8937
parent80fdfa0ea0373629a50fdb201974c5710fed4d27
Ensure that User::getId() returns int

And document User::mId as such.

Change-Id: I65a5a284257da50830675f074f890f27701900e0
includes/user/User.php