X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/83bc6c4539f4a5feb7104e3eaa0d1807573d48cc..ed57989d1c1d6cb9b675fdf18fb877b25b9fca5a:/lib/php.dtl

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];