Editcount is an extension that does exactly what it says: gives the edit count of a user.
Can be useful if you just want to see the edit count of a single user for whatever reason.