Editcount

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.