Yeah you don't need that in PHP :)