Add @property phpdoc