Remove moinMoinOld directive
[hcoop/domtool2.git] / lib / php.dtl
index 369bae5..5957a5e 100644 (file)
@@ -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];