# HG changeset patch # User wenzelm # Date 1736079670 -3600 # Node ID e620f6094b9e174539cdb4570918fda3dc6d22db # Parent ed5a05b06ee0568df44826007088f431126b88d4 drop obsolete URLs; diff -r ed5a05b06ee0 -r e620f6094b9e src/Pure/Tools/phabricator.scala --- a/src/Pure/Tools/phabricator.scala Sat Jan 04 23:20:05 2025 +0100 +++ b/src/Pure/Tools/phabricator.scala Sun Jan 05 13:21:10 2025 +0100 @@ -23,7 +23,7 @@ val packages_ubuntu_22_04: List[String] = Docker_Build.packages ::: List( - // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61 + // base packages "git", "mysql-server", "php", "php-mysql", "php-gd", "php-curl", "php-apcu", "php-cli", "php-json", "php-mbstring", // more packages @@ -34,7 +34,7 @@ val packages_ubuntu_24_04: List[String] = Docker_Build.packages ::: List( - // https://secure.phabricator.com/source/phabricator/browse/master/scripts/install/install_ubuntu.sh 15e6e2adea61 + // base packages "git", "mysql-server", "php", "php-mysql", "php-gd", "php-curl", "php-apcu", "php-cli", "php-json", "php-mbstring", // more packages