Kill SourceRootInfo::s_phpRoot
commit1c1cdd7cf42a8683b1b2b4e35c309cf4f0b4a92c
authorMark Williams <mwilliams@fb.com>
Wed, 19 Dec 2018 18:21:23 +0000 (19 10:21 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 19 Dec 2018 18:24:22 +0000 (19 10:24 -0800)
tree7d3e89a29cad0ea1107b5dd4cb43c61709092370
parent59eade4898f1f08308546162b9c4a7c8067db9ed
Kill SourceRootInfo::s_phpRoot

Summary: It was never clear why this was added, and there are no longer any uses.

Reviewed By: ricklavoie, efiks

Differential Revision: D13507276

fbshipit-source-id: b625cafc2d31288a2904ba61c885f5b2871404fa
hphp/runtime/server/source-root-info.cpp
hphp/runtime/server/source-root-info.h