Attaching a patch for aforementioned file to reflect change in behaviour as of PHP5. Not sure what the rule is for commingled version docs, so I tried tofollow what appeared to be the correct pattern. <doc.patch>
Hello Joey,The new doc style (not all of the manual has been converted to use it yet) has a changelog role for such things instead of <note>s like in the past. See the class_exists() documentation for an example use of this role.
Regards, Philip