Make User::getEditCount() always return an integer
authorJuliusz Gonera <jgonera@wikimedia.org>
Thu, 18 Jul 2013 20:12:15 +0000 (13:12 -0700)
committerJuliusz Gonera <jgonera@wikimedia.org>
Thu, 18 Jul 2013 22:46:15 +0000 (15:46 -0700)
commit1b6c4bc3c7d2e78a060b5bb5b6d51bb48ce26bf9
tree25b1798700b9493a32ba95f62c25ceffb0781b42
parent16ffcb8fd8004586968547a3248c83de01c5fc59
Make User::getEditCount() always return an integer

The docs comment says it returns an int but it often returned a string.
This led to casting this value into an integer in other parts of the
codebase and in extensions (grep MobileFrontend or Echo for EditCount).

Bug: 51633
Change-Id: I6fe5b26c24e674e8148c1fd278774b3fabe844c5
includes/User.php
includes/api/ApiQueryUserInfo.php
includes/api/ApiQueryUsers.php