43 lines
1.3 KiB
Django/Jinja
43 lines
1.3 KiB
Django/Jinja
services:
|
|
db:
|
|
image: mariadb:11.8
|
|
restart: unless-stopped
|
|
environment:
|
|
MARIADB_DATABASE: mediawikidb
|
|
MARIADB_USER: mediawiki
|
|
MARIADB_PASSWORD: "{{ hdwiki_db_password }}"
|
|
MARIADB_RANDOM_ROOT_PASSWORD: 1
|
|
volumes:
|
|
- db:/var/lib/mysql
|
|
healthcheck:
|
|
test: ["CMD", "healthcheck.sh", "--connect", "--innodb_initialized"]
|
|
interval: 10s
|
|
retries: 12
|
|
mediawiki:
|
|
# ffmpeg added for TimedMediaHandler
|
|
build:
|
|
context: .
|
|
dockerfile_inline: |
|
|
FROM mediawiki:1.45.4
|
|
RUN apt-get update \
|
|
&& apt-get install -y --no-install-recommends ffmpeg \
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
# mediawiki image ships no php.ini, leaving display_errors=On
|
|
RUN cp /usr/local/etc/php/php.ini-production /usr/local/etc/php/php.ini
|
|
restart: unless-stopped
|
|
depends_on:
|
|
db:
|
|
condition: service_healthy
|
|
ports:
|
|
- "127.0.0.1:8082:80"
|
|
volumes:
|
|
- ./images:/var/www/html/images
|
|
- ./LocalSettings.php:/var/www/html/LocalSettings.php:ro
|
|
# Extension volumes:
|
|
- ./extensions-1.45/TimedMediaHandler:/var/www/html/extensions/TimedMediaHandler
|
|
- ./extensions-1.45/PluggableAuth:/var/www/html/extensions/PluggableAuth
|
|
- ./extensions-1.45/OpenIDConnect:/var/www/html/extensions/OpenIDConnect
|
|
|
|
volumes:
|
|
db:
|