00140: <!--file: ... --> syntax doesn't work

Summary: <!--file: ... --> syntax doesn't work
Created: 2004-11-03 15:35
Status: Closed, fixed for 2.0.devel22
Category: Bug
Assigned:
Priority: 4
Version: 2.0.devel21
OS:

Description: Apparently the <!--file: ... --> syntax was omitted from PrintFmt() yet still in scripts/tlayout.php

Here's a quick diff that adds the functionality:

 
--- pmwiki.php  2004-11-02 07:12:33.000000000 -0600
+++ pmwiki.php.new      2004-11-03 16:31:08.000000000 -0600
@@ -599,6 +599,8 @@
     { $match[1]($pagename,$match[2]); return; }
   if (preg_match('/^wiki:(.+)$/',$x,$match)) 
     { PrintWikiPage($pagename,$match[1]); return; }
+  if (preg_match('/^file:(.+)$/',$x,$match)) 
+    { readfile($match[1]); return; }
   echo $x;
 }