Public Git Hosting - hiphop-php.git/commit

commit	68cf848eee71442f61be143c7336307557f8c6cc
author	Lucian Wischik <ljw@fb.com>
	Wed, 19 Jan 2022 17:51:02 +0000 (19 09:51 -0800)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Wed, 19 Jan 2022 17:52:52 +0000 (19 09:52 -0800)
tree	a3622ad2481ca9e6b97d5960fd81c45bb625fa87	tree \| snapshot (tar.gz zip)
parent	ad40152a6771fcd4b3b1b6a3796e19f6fbe0cd19	commit \| diff

rename process_file -> process_workitem

Reviewed By: CatherineGasnier

Differential Revision: D33595119

fbshipit-source-id: f97fe534794f8c7090ad347c94da08b236b6fc38

hphp/hack/src/stubs/logging/hackEventLogger.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/service/typing_service_delegate_sig.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/service/typing_service_types.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_check_service.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/typing_check_service.mli		diff \| blob \| blame \| history