GitHub repository: wgevaert/mediawiki-extensions-OpenIDConnect
Description: Github mirror of  MediaWiki extension OpenIDConnect, just for private use and making some changes to be merged upstream.