Pass --json option to ai mode
commit9d92db4735d4de51a3e7cf69df10d2f8baa9bda0
authorZack Landau <zacharyl@fb.com>
Thu, 5 Jan 2017 19:07:17 +0000 (5 11:07 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Thu, 5 Jan 2017 19:15:35 +0000 (5 11:15 -0800)
tree8699c840f74b9b972a9c36386227ab033410167d
parent797a94ff2c9d736789e34b941dee0823129655cd
Pass --json option to ai mode

Summary: --json is currently a top-level option, but we also want it to be set in ai.

Reviewed By: fahndrich

Differential Revision: D4373279

fbshipit-source-id: 5bf32bab9e66f7aba6e266c48e71dbbd3ff93ffb
hphp/hack/src/server/serverArgs.ml
hphp/hack/src/stubs/ai_options.ml