diff -r 9204c034a5bf -r fa581264522e src/Pure/System/linux.scala
--- a/src/Pure/System/linux.scala	Mon Jan 22 22:18:20 2024 +0100
+++ b/src/Pure/System/linux.scala	Tue Jan 23 12:18:06 2024 +0100
@@ -145,4 +145,14 @@
     require(length >= 6, "password too short")
     Isabelle_System.bash("pwgen " + length + " 1").check.out
   }
+
+
+  /* PHP */
+
+  def php_version(): String =
+    Isabelle_System.bash("""php --run 'echo PHP_MAJOR_VERSION . "." . PHP_MINOR_VERSION;'""")
+      .check.out
+
+  def php_conf_dir(name: String): Path =
+    Path.explode("/etc/php") + Path.basic(php_version()) + Path.basic(name) + Path.explode("conf.d")
 }