RE: https://www.mediawiki.org/wiki/Extension:OpenID
I commited a new version - no new features, no need to download it - of the MediaWiki OpenID extension, now at version 1.001 and updated the documentation on MediaWiki.
The reshaped Makefile downloads the php library from my fork - which comprises the patch; thus the former patch after downloading from Github is no longer required.
The new method will facilitate forthcoming upgrading of the php-openid library on which the extension relies.