Public Git Hosting - hiphop-php.git/commit

commit	9679c9d56d365e22552eb14780143a4f2a5639f6
author	Waleed Khan <waleedk@fb.com>
	Tue, 28 Jan 2020 19:33:53 +0000 (28 11:33 -0800)
committer	Facebook Github Bot <facebook-github-bot@users.noreply.github.com>
	Tue, 28 Jan 2020 19:52:10 +0000 (28 11:52 -0800)
tree	967e1346298788eee14b763cfa4ac9c898c570ed	tree \| snapshot (tar.gz zip)
parent	9ba0c6578d10395269042f1d36f22ff0eb154b1f	commit \| diff

Port `hh_single_decl` back to `Decl_provider`

Reviewed By: jewelpit

Differential Revision: D19202221

fbshipit-source-id: baad70b87fc1928fba496b9226502f9e3212d71c