From c35f6dbd187ca774c755186d9d251fbf8cad3c86 Mon Sep 17 00:00:00 2001
From: Kevin Fenzi <kevin@scrye.com>
Date: Fri, 5 Jun 2020 18:19:39 -0700
Subject: [PATCH] wiki: adjust filename for jumbojett file.

Signed-off-by: Kevin Fenzi <kevin@scrye.com>
---
 roles/mediawiki/templates/LocalSettings.php.fp.j2 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/roles/mediawiki/templates/LocalSettings.php.fp.j2 b/roles/mediawiki/templates/LocalSettings.php.fp.j2
index 11449559ac..cb00b0c13f 100644
--- a/roles/mediawiki/templates/LocalSettings.php.fp.j2
+++ b/roles/mediawiki/templates/LocalSettings.php.fp.j2
@@ -506,7 +506,7 @@ wfLoadExtension( 'BacktickCode' );
 
 require_once('/usr/share/php/Fedora/Autoloader/autoload.php');
 \Fedora\Autoloader\Dependencies::required(array(
-        '/usr/share/php/jumbojett/OpenID-Connect-PHP/autoload.php',
+        '/usr/share/php/jumbojett/OpenID-Connect-PHP/src/OpenIDConnectClient.php',
         '/usr/share/php/phpseclib/autoload.php'
 ));