Tweak param documentation

diff --git a/includes/User.php b/includes/User.php
index dbe6b17..6ab18f6 100644 (file)
--- a/includes/User.php
+++ b/includes/User.php
@@ -1456,7 +1456,7 @@ class User {
 
        /**
         * Get the user's ID.
-        * @return \int The user's ID; 0 if the user is anonymous or nonexistent
+        * @return Integer The user's ID; 0 if the user is anonymous or nonexistent
         */
        function getId() {
                if( $this->mId === null and $this->mName !== null