apache: enable php 7.3 support

diff --git a/lib/apache.dtl b/lib/apache.dtl
index 1c66775..c4a8ac7 100644 (file)
--- a/lib/apache.dtl
+++ b/lib/apache.dtl
@@ -39,6 +39,8 @@ extern val php56 : php_version;
 {{FastCGI based php 5.6.}}
 extern val php72 : php_version;
 {{FastCGI based php 7.2.}}
+extern val php73 : php_version;
+{{FastCGI based php 7.3.}}
 
 val fast_php : php_version = php56;
 

diff --git a/src/plugins/apache.sml b/src/plugins/apache.sml
index 451cd67..f21d3ac 100644 (file)
--- a/src/plugins/apache.sml
+++ b/src/plugins/apache.sml
@@ -473,7 +473,8 @@ fun vhostPost () = (!post ();
 
 val php_version = fn (EVar "php56", _) => SOME 56
                    | (EVar "php72", _) => SOME 72
-                   | _ => NONE
+                  | (EVar "php73", _) => SOME 73
+                  | _ => NONE
 
 fun vhostBody (env, makeFullHost) =
     let