* added property to phpdoc