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.