Remove dead hphpc options
commit453195bb1f7569e9b0145c10f52351fea485e10f
authorSean Cannella <seanc@fb.com>
Wed, 23 Oct 2013 18:50:11 +0000 (23 11:50 -0700)
committerSara Golemon <sgolemon@fb.com>
Thu, 24 Oct 2013 15:07:08 +0000 (24 08:07 -0700)
treed8803cae06b999aa20600e4618f7be5f5dff60ae
parent223bdd75236f2d169edb03dfbb4408795f7da12f
Remove dead hphpc options

Remove hphpc options that are no longer used

Reviewed By: @markw65

Differential Revision: D1023862
hphp/compiler/option.cpp
hphp/compiler/option.h
hphp/doc/options.compiler