* Made typescript work in PHP 5.3