This commit is contained in:
Luke Murphy 2020-10-19 17:22:57 +02:00
parent 0c914c0bbf
commit 9e950e7318
No known key found for this signature in database
GPG Key ID: 5E2EF5A63E3718CC
1 changed files with 1 additions and 1 deletions

View File

@ -56,7 +56,7 @@ install_extensions() {
fi
if [ -n "$OPENID_ENABLED" ]; then
if [ ! -d /var/www/html/extensions/OpenIDConnect]; then
if [ ! -d /var/www/html/extensions/OpenIDConnect ]; then
git clone --depth 1 -b REL1_35 \
https://gerrit.wikimedia.org/r/mediawiki/extensions/OpenIDConnect \
/var/www/html/extensions/OpenIDConnect