facebook/hhvm — pull request #3478 by SiebelsTim (2014-08-15 11:28:08+00:00)
Title: trim values in json_decode for null, true and false

JSON RFC says to consider as whitespace: space, tab, LF, CR