i was working on
MDL-25027 when i came across usages of @property - lib/externallib.php class external_value's phpdoc has :
looking it up i read this about @property - '....in the "Property Summary" listing of your class variables, but you will NOT see "$regular", "$foo", or "$bar" there...'
clearly some usages of @property should actually be @var as we DO want them documented and shown in the class's property summary.
@property is really only for magic variables where we want to HIDE them from normal users.