remove unused MediaWiki extensions related to OpenID