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