Hack to PHP converter