Public Git Hosting - hiphop-php.git/commit

commit	74dc486167dffd3d5383dc5548845d5c74386bcd
author	Waleed Khan <waleedk@fb.com>
	Fri, 24 Jan 2020 18:17:22 +0000 (24 10:17 -0800)
committer	Facebook Github Bot <facebook-github-bot@users.noreply.github.com>
	Fri, 24 Jan 2020 18:19:56 +0000 (24 10:19 -0800)
tree	82d7ad2bf4846c547750e05347880eb61098b270	tree \| snapshot (tar.gz zip)
parent	51fd32307e794b9e6642811fd1b5cab582fc2736	commit \| diff

Port `hh_single_decl` to `Decl_provider_ctx`

Reviewed By: jewelpit

Differential Revision: D18995250

fbshipit-source-id: 613b078b8099e3fa0bcccdc4fdc6022138bbf33a