2002-10-03 10:47:47 +00:00
|
|
|
--TEST--
|
|
|
|
|
highlight_string() buffering
|
|
|
|
|
--POST--
|
2002-10-08 07:49:36 +00:00
|
|
|
--INI--
|
|
|
|
|
highlight.string=#DD0000
|
|
|
|
|
highlight.comment=#FF9900
|
|
|
|
|
highlight.keyword=#007700
|
|
|
|
|
highlight.bg=#FFFFFF
|
|
|
|
|
highlight.default=#0000BB
|
|
|
|
|
highlight.html=#000000
|
2002-10-03 10:47:47 +00:00
|
|
|
--GET--
|
|
|
|
|
--FILE--
|
|
|
|
|
<?php
|
|
|
|
|
$var = highlight_string("<br /><?php echo \"foo\"; ?><br />");
|
|
|
|
|
$var = highlight_string("<br /><?php echo \"bar\"; ?><br />", TRUE);
|
|
|
|
|
echo "\n[$var]\n";
|
|
|
|
|
?>
|
|
|
|
|
--EXPECT--
|
|
|
|
|
<code><font color="#000000">
|
2002-10-08 07:49:36 +00:00
|
|
|
<br /><font color="#0000BB"><?php </font><font color="#007700">echo </font><font color="#DD0000">"foo"</font><font color="#007700">; </font><font color="#0000BB">?></font><br /></font>
|
2002-10-03 10:47:47 +00:00
|
|
|
</code>
|
|
|
|
|
[<code><font color="#000000">
|
2002-10-08 07:49:36 +00:00
|
|
|
<br /><font color="#0000BB"><?php </font><font color="#007700">echo </font><font color="#DD0000">"bar"</font><font color="#007700">; </font><font color="#0000BB">?></font><br /></font>
|
2002-10-03 10:47:47 +00:00
|
|
|
</code>]
|
