[PHP-DOC] error at function hexdec

[Cornelia Boenigk]

Hi everybody

Tha Manual says:

hexdec() will replace of any non-hexadecimal characters it encounters
by 0. This way, all left zeros are ignored, but right zeros will be
valued.
      Example 1. hexdec() example

            <?php
            var_dump(hexdec("that"));
            var_dump(hexdec("a0"));
            // both print "int(160)"
            ?>
This is not correct. The two lines print int(10) and  int(160).
Seems the behaviour of the function is, that all non-hexadecimal
values are ignored and *not* converted to 0.

Regards
Conni