My maintained version of the MediaWiki EditUser extension. For now hosted here.