is this the correct PHPDOC syntax for a variable that can be of multiple types?