diff -r db2b5c04075d -r 08ef19aacced src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Tue Jan 23 19:56:52 2024 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Jan 23 20:10:40 2024 +0100
@@ -59,7 +59,7 @@
     def title: String
     def short_name: String
     def system_name: String = short_name
-    def php_name: String = short_name
+    def php_name: String = system_name
 
     def packages(): List[String]