apache: add php 7.2 support

[hcoop/domtool2.git] / lib / apache.dtl

diff --git a/lib/apache.dtl b/lib/apache.dtl
index a75dd0d..1c66775 100644 (file)
--- a/lib/apache.dtl
+++ b/lib/apache.dtl
@@ -35,8 +35,12 @@ extern val no_ssl : ssl;
 extern val use_cert : ssl_cert_path -> ssl;
 
 extern type php_version;
-extern val fast_php : php_version;
-{{FastCGI based php5. Much faster than regular php5.}}
+extern val php56 : php_version;
+{{FastCGI based php 5.6.}}
+extern val php72 : php_version;
+{{FastCGI based php 7.2.}}
+
+val fast_php : php_version = php56;
 
 extern val vhost : host -> Vhost => [Domain]
   {WebPlaces : [web_place],