facebook/hhvm — pull request #3959 by lucastadeu (2014-10-11 23:23:58+00:00)
Title: Fix highlight_string function for proper highlighting - #3160

This should resolve #3160.