drop obsolete URLs;
authorwenzelm
Sun, 05 Jan 2025 13:21:10 +0100
changeset 81725 e620f6094b9e
parent 81724 ed5a05b06ee0
child 81726 27ba0fed2071
drop obsolete URLs;
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