extern type web_place;
extern val web_place_default : web_node -> web_place;
-extern val web_place : web_node -> your_ip -> web_place;
+extern val web_place : web_node -> your_ip -> your_ipv6 -> web_place;
extern val web_place_to_web_node : web_place -> web_node;
extern val web_place_to_node : web_place -> node;
extern val web_place_to_ip : web_place -> ip;
+extern val web_place_to_ipv6 : web_place -> ipv6;
{{Web places are combinations of web nodes (servers on which you are allowed to
run web sites) and IP addresses on which those servers should listen for
requests.}}
extern val use_cert : ssl_cert_path -> ssl;
extern type php_version;
-extern val php4 : php_version;
-extern val php5 : php_version;
+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.}}
+extern val php74 : php_version;
+{{FastCGI based php 7.4.}}
+extern val php80 : php_version;
+{{FastCGI based php 8.0.}}
extern val vhost : host -> Vhost => [Domain]
{WebPlaces : [web_place],