Ensure that User::getId() returns int

And document User::mId as such.

Change-Id: I65a5a284257da50830675f074f890f27701900e0

diff --git a/includes/user/User.php b/includes/user/User.php
index 09124bf..3a891f6 100644 (file)
--- a/includes/user/User.php
+++ b/includes/user/User.php
@@ -200,6 +200,7 @@ class User implements IDBAccessObject {
 
        /** Cache variables */
        // @{
+       /** @var int */
        public $mId;
        /** @var string */
        public $mName;
@@ -2052,7 +2053,8 @@ class User implements IDBAccessObject {
                        // Don't load if this was initialized from an ID
                        $this->load();
                }
-               return $this->mId;
+
+               return (int)$this->mId;
        }
 
        /**