Updated mediawiki/extensions
Project: mediawiki/extensions/OpenID  49317b9db6e95fdcdf489ecdfdeb2eb0dd4b9ebc

version number follow-up patch to e4793fb7c93cf993594bb753e043d4c8037e21e6
"fix a regression: User profile userinfo was not updated from OpenID provider."

bumped to version 3.01

Change-Id: Ic5a39c30f5e55bde8ae666bcbaf67f3a2e531df3