As per title, needed for several of @Osnard's fixes.
Description
Details
Event Timeline
Change #1082108 had a related patch set uploaded (by MarkAHershberger; author: MarkAHershberger):
[mediawiki/extensions/OpenIDConnect@master] Bump jumbojett/openid-connect-php version
Change #1109761 had a related patch set uploaded (by Cicalese; author: MarkAHershberger):
[mediawiki/extensions/OpenIDConnect@REL1_39] Bump jumbojett/openid-connect-php version
Change #1109762 had a related patch set uploaded (by Cicalese; author: MarkAHershberger):
[mediawiki/extensions/OpenIDConnect@REL1_43] Bump jumbojett/openid-connect-php version
Change #1082108 merged by jenkins-bot:
[mediawiki/extensions/OpenIDConnect@master] Bump jumbojett/openid-connect-php version
Change #1109762 merged by jenkins-bot:
[mediawiki/extensions/OpenIDConnect@REL1_43] Bump jumbojett/openid-connect-php version
Change #1109761 merged by jenkins-bot:
[mediawiki/extensions/OpenIDConnect@REL1_39] Bump jumbojett/openid-connect-php version