# 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