Fix DateTime types in PHPDoc