369bae59ba2144421ab4033a815d51bdd4e59cb4
[hcoop/domtool2.git] / lib / php.dtl
1 {{PHP configuration}}
2
3 extern type php_version;
4 extern val php4 : php_version;
5 extern val php5 : php_version;
6
7 extern val phpVersion : php_version -> [^Vhost];