# HG changeset patch
# User wenzelm
# Date 1576520047 -3600
# Node ID 26a40fc962e8aa9554fded7b8cd1bf8b06ad44c7
# Parent  71fd25a7bbe234de3f288533a553e32da418ef04
more packages: required for svn;

diff -r 71fd25a7bbe2 -r 26a40fc962e8 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Mon Dec 16 16:32:07 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Mon Dec 16 19:14:07 2019 +0100
@@ -27,7 +27,7 @@
       "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", "ssh", "subversion",
+      "php-xml", "php-zip", "python-pygments", "ssh", "subversion",
       // mercurial build packages
       "make", "gcc", "python", "python-dev", "python-docutils", "python-pygments", "python-openssl")