Add hello.{php,hh}