{{PHP configuration}}

extern type php_version;
extern val php4 : php_version;
extern val php5 : php_version;

extern val phpVersion : php_version -> [^Vhost];