Public Git Hosting - hiphop-php.git/commit

commit	79d65f3ce02940866b475ffb64a905a9c8eddecd
author	Lucian Wischik <ljw@fb.com>
	Sat, 15 Jan 2022 03:49:10 +0000 (14 19:49 -0800)
committer	Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
	Sat, 15 Jan 2022 03:50:47 +0000 (14 19:50 -0800)
tree	4ec618128d9569440668fb2f1e43c6712c756417	tree \| snapshot (tar.gz zip)
parent	c49c372928f9b2696586975eb4d85b2661436ec9	commit \| diff

enhanced PROCESS_FILE

Reviewed By: CatherineGasnier

Differential Revision: D33481603

fbshipit-source-id: 5e38ff6725e8cedffd67c81ef43346379edbb71a

14 files changed:

hphp/hack/src/heap/sharedMem.ml		diff \| blob \| blame \| history
hphp/hack/src/server/dune		diff \| blob \| blame \| history
hphp/hack/src/stubs/logging/hackEventLogger.ml		diff \| blob \| blame \| history
hphp/hack/src/typing/dune		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/utils/cgroup/cGroup.mli		diff \| blob \| blame \| history
hphp/hack/src/utils/cgroup/cgroupProfiler.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/cgroup/cgroupProfiler.mli		diff \| blob \| blame \| history
hphp/hack/src/utils/cgroup/dune		diff \| blob \| blame \| history
hphp/hack/src/utils/core/hh_logger.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/core/hh_logger.mli		diff \| blob \| blame \| history
hphp/hack/src/utils/counters.ml		diff \| blob \| blame \| history
hphp/hack/src/utils/counters.mli		diff \| blob \| blame \| history