[PHP-DOC] Question on property definitions

[Edward Z. Yang]

There's often extra information such as type, readonly and initializer
that can be specified in the classsynopsis. Should this information be
duplicated below in the detailed property location? (I don't think so,
but I do think it should be re-displayed below there).
-- 
 Edward Z. Yang                        GnuPG: 0x869C48DA
 HTML Purifier <http://htmlpurifier.org> Anti-XSS Filter
 [[ 3FA8 E9A9 7385 B691 A6FC B3CB A933 BE7D 869C 48DA ]]