Infra 2044 - Fix json_encode for php 5.2

Signed-off-by: Eric Poirier <eric@eclipse.org>
1 file changed