2020-12-28 15:46:35 +01:00
|
|
|
# MediaWiki with MariaDB
|
|
|
|
|
#
|
|
|
|
|
# Access via "http://localhost:8080"
|
|
|
|
|
# (or "http://$(docker-machine ip):8080" if using docker-machine)
|
|
|
|
|
version: '3'
|
|
|
|
|
services:
|
|
|
|
|
mediawiki:
|
|
|
|
|
image: mediawiki:lts
|
|
|
|
|
restart: always
|
|
|
|
|
ports:
|
|
|
|
|
- 8090:80
|
|
|
|
|
links:
|
|
|
|
|
- database
|
|
|
|
|
volumes:
|
2020-12-28 16:43:57 +01:00
|
|
|
- /var/www/html/images
|
2020-12-28 15:46:35 +01:00
|
|
|
# After initial setup, download LocalSettings.php to the same directory as
|
|
|
|
|
# this yaml and uncomment the following line and use compose to restart
|
|
|
|
|
# the mediawiki service
|
2020-12-28 17:21:15 +01:00
|
|
|
- ./LocalSettings.php:/var/www/html/LocalSettings.php
|
2020-12-28 15:46:35 +01:00
|
|
|
database:
|
|
|
|
|
image: mariadb
|
|
|
|
|
restart: always
|
|
|
|
|
environment:
|
|
|
|
|
# @see https://phabricator.wikimedia.org/source/mediawiki/browse/master/includes/DefaultSettings.php
|
|
|
|
|
MYSQL_DATABASE: rd13_mediawiki
|
|
|
|
|
MYSQL_USER: wikiuser
|
|
|
|
|
MYSQL_PASSWORD: rd13mediawikidbpw
|
|
|
|
|
MYSQL_RANDOM_ROOT_PASSWORD: 'yes'
|
