<?php -> <?hh