Fix datetime types in PHPDoc