cvs: phpdoc /en/reference/misc/functions highlight-file.xml

vrana Mon Dec 15 12:47:38 2003 EDT Modified files: /phpdoc/en/reference/misc/functions highlight-file.xml Log: Spaces for Didou :-) Index: phpdoc/en/reference/misc/functions/highlight-file.xml diff -u phpdoc/en/reference/misc/functions/highlight-file.xml:1.10 phpdoc/en/reference/misc/functions/highlight-file.xml:1.11 --- phpdoc/en/reference/misc/functions/highlight-file.xml:1.10 Mon Dec 15 12:28:19 2003 +++ phpdoc/en/reference/misc/functions/highlight-file.xml Mon Dec 15 12:47:38 2003 @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="iso-8859-1"?> -<!-- $Revision: 1.10 $ --> +<!-- $Revision: 1.11 $ --> <!-- splitted from ./en/functions/misc.xml, last change in rev 1.22 --> <refentry id="function.highlight-file"> <refnamediv> @@ -86,7 +86,7 @@ echo "<br /><b>ERROR: Script Name needed</b><br />"; } else { if (ereg("(\\.php|\\.inc)$", $script)) { - echo "<h1>Source of: ". getenv("PATH_INFO") ."</h1>\n<hr />\n"; + echo "<h1>Source of: " . getenv("PATH_INFO") . "</h1>\n<hr />\n"; highlight_file($script); } else { echo "<h1>ERROR: Only PHP or include script names are allowed</h1>";