A MediaWiki extension to authenticate with a UWNetID