X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/cfedb9220fc5a849df6d5d85cc929d1f72ac0326..e7482df3346f6976f62e3f7e07afbcf419f7411a:/lib/php.dtl?ds=sidebyside

diff --git a/lib/php.dtl b/lib/php.dtl
index 369bae5..5957a5e 100644
--- a/lib/php.dtl
+++ b/lib/php.dtl
@@ -1,7 +1,3 @@
 {{PHP configuration}}
 
-extern type php_version;
-extern val php4 : php_version;
-extern val php5 : php_version;
-
 extern val phpVersion : php_version -> [^Vhost];