Thanks for your note. I've fixed it in CVS (that method was merged in PHP 5.0.3).
NunoP.S.: next time please report the bugs to our bug system: http://bugs.php.net
----- Original Message -----
Note to doc maintainers ('Im too lazy to hunt for the appropriate mailing list, sorry): isOptional() works fine in version 5.0.4 too (and maybe even before that?) ----Manual Page -- http://www.php.net/manual/en/language.oop5.reflection.php