Public Git Hosting - hiphop-php.git/commit

commit	5374cb034c5f1f5de9d81efcced8c7506dc06a19
author	Bin Liu <binliu@fb.com>
	Fri, 31 May 2019 00:06:08 +0000 (30 17:06 -0700)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Fri, 31 May 2019 00:14:54 +0000 (30 17:14 -0700)
tree	f7123077480a44a9f3c81c13c343671901a4a410	tree \| snapshot (tar.gz zip)
parent	764a0c771cca211d3f203e0c75bd569f79b51e7e	commit \| diff

use local allocator in json extension

Reviewed By: markw65

Differential Revision: D15551683

fbshipit-source-id: 7f11b9357f4656c276fd098b965bc94ee1596fd7