Hi Mike, will you please post this to the HipHop for PHP Dev google
group? I've answered my own question. Please post this as a new
top-level post (vs. reply to the other thread) so it's clearly visible
to new visitors of the group.
Subject: This group defunct; use Facebook page instead