This commit is contained in:
Luke Murphy 2020-10-15 18:26:40 +02:00
parent 2a94408ddf
commit d75e15310c
No known key found for this signature in database
GPG Key ID: 5E2EF5A63E3718CC
1 changed files with 1 additions and 1 deletions

View File

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