jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/405422 )
Change subject: Added namespace for library class.
......................................................................
Added namespace for library class.
Bug: T185366
Change-Id: I76a00d3b9bf89fcde3670f9c102af73caeec39c9
---
M OpenIDConnect.class.php
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
jenkins-bot: Verified
Thiemo Kreuz (WMDE): Looks good to me, approved
diff --git a/OpenIDConnect.class.php b/OpenIDConnect.class.php
index da7e8a8..0f7c92d 100644
--- a/OpenIDConnect.class.php
+++ b/OpenIDConnect.class.php
@@ -24,6 +24,7 @@
use \MediaWiki\Session\SessionManager;
use \MediaWiki\Auth\AuthManager;
+use \Jumbojett\OpenIDConnectClient;
class OpenIDConnect extends PluggableAuth {
--
To view, visit https://gerrit.wikimedia.org/r/405422
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I76a00d3b9bf89fcde3670f9c102af73caeec39c9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/OpenIDConnect
Gerrit-Branch: master
Gerrit-Owner: Cicalese <ccical...@wikimedia.org>
Gerrit-Reviewer: Thiemo Kreuz (WMDE) <thiemo.kr...@wikimedia.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
