# HG changeset patch
# User wenzelm
# Date 1572466497 -3600
# Node ID 80dfc9a2f9c81e3f4d676a12e89ebd8d40bdcdd4
# Parent  a48112873f8140d1f4051fd13a199838da767bf4
more packages;

diff -r a48112873f81 -r 80dfc9a2f9c8 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Wed Oct 30 20:10:35 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Wed Oct 30 21:14:57 2019 +0100
@@ -28,9 +28,12 @@
 
   val packages: List[String] =
     Build_Docker.packages :::
-    // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61
-    List("git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql",
-      "php-gd", "php-curl", "php-apcu", "php-cli", "php-json", "php-mbstring")
+    List(
+      // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61
+      "git", "mysql-server", "apache2", "libapache2-mod-php", "php", "php-mysql",
+      "php-gd", "php-curl", "php-apcu", "php-cli", "php-json", "php-mbstring",
+      // more packages
+      "php-zip", "python-pygments")