This user is a proud MediaWiki extension developer.
This user has autopatrolled rights on MediaWiki.org. (verify)