Addshore has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/404142 )
Change subject: docker: update phan image to phan 0.8.10
......................................................................
docker: update phan image to phan 0.8.10
Bug: T174339
Change-Id: Ia19975d2a13cd9347429493e3b1a0e11e4e915e7
---
M dockerfiles/mediawiki-phan/Dockerfile.template
M dockerfiles/mediawiki-phan/changelog
2 files changed, 15 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/42/404142/1
diff --git a/dockerfiles/mediawiki-phan/Dockerfile.template
b/dockerfiles/mediawiki-phan/Dockerfile.template
index 013d50f..98587c1 100644
--- a/dockerfiles/mediawiki-phan/Dockerfile.template
+++ b/dockerfiles/mediawiki-phan/Dockerfile.template
@@ -4,12 +4,20 @@
RUN install -d /srv/phan -o nobody
+RUN apt-get update && \
+ DEBIAN_FRONTEND=noninteractive apt-get install --yes
--no-install-recommends \
+ php7.0-dev php-pear make && \
+ pecl install ast && \
+ apt-get remove --yes \
+ php7.0-dev php-pear make && \
+ apt-get autoremove --yes && apt-get clean && rm -rf /var/lib/apt/lists/*
+
ENV PHAN /srv/phan/vendor/bin/phan
USER nobody
RUN cd /srv/phan && \
- composer require phan/phan:0.8 && \
+ composer require phan/phan:0.8.10 && \
rm -rf /cache/*
COPY run.sh /run.sh
diff --git a/dockerfiles/mediawiki-phan/changelog
b/dockerfiles/mediawiki-phan/changelog
index 36f2904..ca7eefc 100644
--- a/dockerfiles/mediawiki-phan/changelog
+++ b/dockerfiles/mediawiki-phan/changelog
@@ -1,3 +1,9 @@
+mediawiki-phan (0.2.0) wikimedia; urgency=medium
+
+ * Initial port to docker-pkg.
+
+ -- Addshore <addshorew...@gmail.com> Fri, 13 Jan 2018 23:40:00 +0000
+
mediawiki-phan (0.1.0) wikimedia; urgency=medium
* Initial port to docker-pkg.
--
To view, visit https://gerrit.wikimedia.org/r/404142
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ia19975d2a13cd9347429493e3b1a0e11e4e915e7
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Addshore <addshorew...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
