Remove php4 support Good riddance
[hcoop/domtool2.git] / lib / apache.dtl
index 98dca55..c8fc51c 100644 (file)
@@ -34,7 +34,6 @@ extern val no_ssl : ssl;
 extern val use_cert : ssl_cert_path -> ssl;
 
 extern type php_version;
 extern val use_cert : ssl_cert_path -> ssl;
 
 extern type php_version;
-extern val php4 : php_version;
 extern val php5 : php_version;
 
 extern val vhost : host -> Vhost => [Domain]
 extern val php5 : php_version;
 
 extern val vhost : host -> Vhost => [Domain]