When they started to call it "Hack" instead? More seriously... I'm pretty sure they no longer consider it a PHP code base. I could be wrong though since I don'

When they started to call it "Hack" instead? More seriously... I'm pretty sure they no longer consider it a PHP code base. I could be wrong though since I don't work there.