High Typehithing to PHP