Also run the update script for openid plugin

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

View File

@ -60,6 +60,7 @@ install_extensions() {
git clone --depth 1 -b REL1_35 \
https://gerrit.wikimedia.org/r/mediawiki/extensions/OpenIDConnect \
/var/www/html/extensions/OpenIDConnect
php /var/www/html/maintenance/update.php
fi
fi
}