--- /dev/null
+--TEST--
+highlight_string() buffering
+--POST--
+--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">
+<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>
+</code>
+[<code><font color="#000000">
+<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>
+</code>]