Public Git Hosting - hiphop-php.git/commit

commit	26a32a4753bd282fe9f829862076c788cd45f638
author	Hunter Goldstein <hgoldstein@fb.com>
	Wed, 13 Jun 2018 16:52:04 +0000 (13 09:52 -0700)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Wed, 13 Jun 2018 17:09:14 +0000 (13 10:09 -0700)
tree	1899adb9ae82bfdf7cd6e1de82e46deca2626a71	tree \| snapshot (tar.gz zip)
parent	683e807c8f10b6b6bfb2c9ac4b040766f402fe15	commit \| diff

Mark MCRouter* as __PHPStdLib

Reviewed By: kmeht

Differential Revision: D8388645

fbshipit-source-id: eb9b689b74655669869dacaf4fb3510471cc105c