dereckson / mediawiki-docker-dev Goto Github PK

If you don't want to use the default port of 8080 and the default mediawiki path of ~/dev/git/gerrit/mediawiki then please just change the .env file for now....

https://docs.docker.com/compose/install/

On linux you will have to add your user to the docker group: https://askubuntu.com/questions/477551/how-can-i-use-docker-without-sudo#477554

git clone https://github.com/addshore/mediawiki-docker-dev.git ~/dev/github/addshore/mediawiki-docker-dev

From Wikimedia Gerrit:

git clone https://gerrit.wikimedia.org/r/mediawiki/core ~/dev/gerrit/mediawiki
git clone https://gerrit.wikimedia.org/r/mediawiki/skins/Vector ~/dev/gerrit/mediawiki/skins/Vector

Or from Github Mirror (often quicker):

git clone https://github.com/wikimedia/mediawiki.git ~/dev/gerrit/mediawiki
git clone https://github.com/wikimedia/mediawiki-skins-Vector.git ~/dev/gerrit/mediawiki/skins/Vector

# You can then set the remote to point back to gerrit:

git remote set-url origin https://gerrit.wikimedia.org/r/mediawiki/core
git remote set-url origin https://gerrit.wikimedia.org/r/mediawiki/skins/Vector

The .docker/LocalSettings.php file will exist within the containers running Mediawiki.

Make a LocalSettings.php in the root of the Mediawiki repo containing the following:

<?php
require_once __DIR__ . '/.docker/LocalSettings.php';

~/dev/github/addshore/mediawiki-docker-dev/up
~/dev/github/addshore/mediawiki-docker-dev/install
~/dev/github/addshore/mediawiki-docker-dev/down

You will need to check the ./config/local/hosts file and add these to your local hosts file.

You need to populate your hosts file to get the most out of this docker stuff.

Running the up script will tell you what you need to add.

To start the containers:

~/dev/github/addshore/mediawiki-docker-dev/up

To stop the containers:

~/dev/github/addshore/mediawiki-docker-dev/down

Tools

• Graphite
• PhpMyAdmin

Mediawiki

• Nginx & PHP5 & MySQL
• Nginx & PHP7 & MySQL
• Nginx & HHVM & MySQL
• Nginx & HHVM & MariaDb
• Apache & HHVM & MariaDb
• etc. http://...mw:8080

You can run commands using the name of the container:

docker exec -it "mediawikidev_mediawiki-apache-php7_1" bash

If this doesn't work, Get the ID of the container that you want to run a command on:

docker container ls

And then use it to run a command:

docker exec -it "98ur10fkj1909j3" bash

• FIX HHVM strict mode
  • Strict Warning: It is not safe to rely on the system's timezone settings. Please use the date.timezone setting, the TZ environment variable or the date_default_timezone_set() function.
• Statsv endpoint
• Script to install mediawiki on one of the databases...
• Setup awesomeness db names and stuff
  • [webserver].[runtime].[dbtype].[dbsuffix].mw <<< :( requires wildcard domains......
  • dbname = [dbtype].[dbsuffix]