# HG changeset patch
# User wenzelm
# Date 1706037040 -3600
# Node ID 08ef19aacced51ff7dce40335d2efa8e7ef4b129
# Parent  db2b5c04075d6144615cad4d783a2c6727a24c84
proper Apache.php_name;

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]