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