* Example function.
* @return int
public function getOne(): int
Should we remove this annotation in PHP7?
@return may look redundant at first glance, it is not. It allows you to put more detailed description about returned value, its meaning, not only type of the value which may be pretty useless in case of more complex data returned (i.e. arrays), therefore I'd rather put some more efforts to make my docs better by using this feature instead of removing
@return for no real benefit.