2
0

Added some recipes.

This commit is contained in:
2024-08-25 19:51:30 +02:00
parent 005d0503e2
commit 145aab5386
28 changed files with 1103 additions and 2 deletions

View File

@ -0,0 +1,8 @@
# Adds the extensions.
FROM mediawiki
rm -Rf /var/www/html/extensions/EXTENSION_NAME && \
git clone "https://gerrit.wikimedia.org/r/mediawiki/extensions/EXTENSION_NAME" \
/var/www/html/extensions/EXTENSION_NAME && \
chown -R www-data:www-data /var/www/html/extensions/EXTENSION_NAME