2017-09-20 - releng
13:59 <addshore> docker push docker.io/wmfreleng/php-mediawiki:v2017.09.20.13.43 & latest # built from master [releng]