hcoop: move dispatcher to gibran

[hcoop/domtool2.git] / lib / php.dtl

diff --git a/lib/php.dtl b/lib/php.dtl
index 369bae5..5957a5e 100644 (file)
--- 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];