Public Git Hosting - hiphop-php.git/commit

commit	6c7e25c8128f92743b90b2afaf18c354f84db099
author	Waleed Khan <waleedk@fb.com>
	Tue, 3 Mar 2020 23:45:40 +0000 (3 15:45 -0800)
committer	Facebook Github Bot <facebook-github-bot@users.noreply.github.com>
	Tue, 3 Mar 2020 23:59:30 +0000 (3 15:59 -0800)
tree	e0c5e377a1a60b7706b3ee2cd95dd10aae9c2471	tree \| snapshot (tar.gz zip)
parent	baf460d599854493514473189b3e18445c469785	commit \| diff

Support typedefs in `Naming_provider`

Reviewed By: 2BitSalute

Differential Revision: D20121189

fbshipit-source-id: 3fbeb0b3319546dfa0c3ac761208a5c8c096b2bf

hphp/hack/src/client/ide_service/clientIdeIncremental.ml		diff \| blob \| blame \| history
hphp/hack/src/naming/naming_table.ml		diff \| blob \| blame \| history
hphp/hack/src/providers/naming_provider.ml		diff \| blob \| blame \| history
hphp/hack/src/providers/naming_provider.mli		diff \| blob \| blame \| history