ID: 32918
Updated by: [EMAIL PROTECTED]
Reported By: mpb dot mail at gmail dot com
-Status: Open
+Status: Bogus
Bug Type: Strings related
Operating System: Gentoo Linux
PHP Version: 5.0.3
New Comment:
Please do not submit the same bug more than once. An existing
bug report already describes this very problem. Even if you feel
that your issue is somewhat different, the resolution is likely
to be the same.
Thank you for your interest in PHP.
see #29338
Previous Comments:
------------------------------------------------------------------------
[2005-05-02 23:59:51] mpb dot mail at gmail dot com
Description:
------------
The highlight_string function fails to properly indent lines that begin
with a single space.
I suspect highlight_file has the same problem, but have not tested it.
In the reproduce code (below), the line ' *' actually renders as:
<br /> *<br />
Instead of the expected:
<br /> *<br />
So, I guess if a line begins with a single space, that space needs to
be converted into ' ' even though it is a singleton.
Reproduce code:
---------------
<?php
$comment = array ('/*', '*', ' *', ' *', "\t*/");
$comment = join ("\n", $comment);
highlight_string ($comment);
?>
Expected result:
----------------
<code><span style="color: #000000">
/*<br />*<br /> *<br /> *<br
/> */</span>
</code>
Actual result:
--------------
<code><span style="color: #000000">
/*<br />*<br /> *<br /> *<br
/> */</span>
</code>
------------------------------------------------------------------------
--
Edit this bug report at http://bugs.php.net/?id=32918&edit=1
