Updated mediawiki/extensions
Project: mediawiki/extensions/OpenID  191cd36a6aed86c72bfd995d0a6a125926efe6f0

OpenID delegation

The patch introduces the delegation from /User:Username page to
the new special page Special:OpenIDIdentifier/<userid> which is
the immutable OpenID of the user.

bumped version 3.00 because this is a major change

Change-Id: Ic383c1338f15550559f5948fb46dc92b1f3da57d