the phpdoc should document the types, otherwise it is invalid (and quite useless)