Install optional OpenIDConnect extension

This commit is contained in:
Luke Murphy 2020-10-15 18:23:45 +02:00
parent b0c5673cc0
commit 353d6eb4b5
No known key found for this signature in database
GPG Key ID: 5E2EF5A63E3718CC
2 changed files with 15 additions and 4 deletions

View File

@ -12,6 +12,7 @@ services:
- MEDIAWIKI_SITENAME
- MEDIAWIKI_SITENAMESPACE
- SAML_ENABLED
- OPENID_ENABLED
- DB_HOST=db
- DB_USER=mediawiki
- DB_NAME=mediawiki

View File

@ -35,10 +35,20 @@ install_extensions() {
/var/www/html/extensions/PluggableAuth
fi
if [ ! -d /var/www/html/extensions/SimpleSAMLphp ]; then
git clone --depth 1 -b REL1_32 \
https://gerrit.wikimedia.org/r/p/mediawiki/extensions/SimpleSAMLphp \
/var/www/html/extensions/SimpleSAMLphp
if [ -n "$SAML_ENABLED" ]; then
if [ ! -d /var/www/html/extensions/SimpleSAMLphp ]; then
git clone --depth 1 -b REL1_32 \
https://gerrit.wikimedia.org/r/p/mediawiki/extensions/SimpleSAMLphp \
/var/www/html/extensions/SimpleSAMLphp
fi
fi
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
/var/www/html/extensions/OpenIDConnect
fi
fi
}