Using HH instead of PHP as default file extensions