Remove a few extra vestiges of the debugger client api
commit677b26fdf64b470c41efc915577229c145f6aceb
authorMike Magruder <mikemag@fb.com>
Thu, 8 Aug 2013 20:58:20 +0000 (8 13:58 -0700)
committerSara Golemon <sgolemon@fb.com>
Mon, 12 Aug 2013 18:32:57 +0000 (12 11:32 -0700)
treec6fa64d7a4e80a70af132d866b37d68d0d2f549e
parent876cbbb3eb5c15fd7a365bfb5d52393744344be7
Remove a few extra vestiges of the debugger client api

Remove a few more bits left over from the client API, plus a little extra cleanup I noticed.

Differential Revision: D920393
hphp/doc/debugger.cmds
hphp/doc/debugger.refs
hphp/runtime/debugger/debugger_command.h
hphp/system/php.txt
hphp/system/php/DebuggerCommand.php [deleted file]