The user_editcount table seems to be broken. If I compare the edit counts of myself and my bot on sr: wiki (courtesy of the toolserver) using two different methods (old with count(*) and new with user_editcount), I'm getting very different results.
mysql> SELECT COUNT(*) FROM revision, page WHERE rev_user_text= 'Dungodung' AND rev_page = page_id;
+----------+
COUNT(*) |
+----------+
25103 | |
+----------+
1 row in set (2.28 sec)
mysql> SELECT user_editcount FROM user WHERE user_name = 'Dungodung';
+----------------+
user_editcount |
+----------------+
24927 | |
+----------------+
1 row in set (0.03 sec)
mysql> SELECT COUNT(*) FROM revision, page WHERE rev_user_text= 'FelixBot' AND rev_page = page_id;
+----------+
COUNT(*) |
+----------+
121244 | |
+----------+
1 row in set (3.99 sec)
mysql> SELECT user_editcount FROM user WHERE user_name = 'FelixBot';
+----------------+
user_editcount |
+----------------+
120610 | |
+----------------+
1 row in set (0.01 sec)
Version: 1.11.x
Severity: minor