--- 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")