phpdoc doesn't specify which has to be used to be honest. I guess it's down to personal preference. ;)