Public Git Hosting - hiphop-php.git/search

2017-04-11	Waleed Khan	Timestamp commands that pass through `hh_client`	commit \| commitdiff \| tree
2017-04-11	Waleed Khan	Refactor Daemon module to allow passing in stdin	commit \| commitdiff \| tree
2017-03-17	Waleed Khan	Rename ServerEnv.env.edited_files -> editor_open_files	commit \| commitdiff \| tree
2017-03-17	Waleed Khan	Display banner when running hh and there are unsaved...	commit \| commitdiff \| tree
2017-02-09	Waleed Khan	Add coverage levels request to JSON RPC	commit \| commitdiff \| tree
2017-02-09	Waleed Khan	Add `opt_string_to_json` and `opt_int_to_json` helper...	commit \| commitdiff \| tree
2017-02-09	Waleed Khan	Move `Coverage_level.level` to `Ide_api_types.coverage_level`	commit \| commitdiff \| tree
2017-01-19	Waleed Khan	Deduplicate errors sent to client	commit \| commitdiff \| tree
2017-01-18	Waleed Khan	Change protocol.md to use four spaces	commit \| commitdiff \| tree
2017-01-18	Waleed Khan	Rename `get__filed` to `get__field`	commit \| commitdiff \| tree
2017-01-18	Waleed Khan	JSON RPC infer type request	commit \| commitdiff \| tree
2016-12-12	Waleed Khan	Fix 'hh --coverage' command for paths other than the...	commit \| commitdiff \| tree
2016-12-02	Waleed Khan	Find references occurring in global constants	commit \| commitdiff \| tree