facebook/hhvm — pull request #1826 by DerPapst (2014-02-15 13:47:13+00:00)
Title: Use ini settings in highlight_string.

This should fix #1823.
Does hhvm provide a default ini file or built-in ini values somewhere?