Type casting to int from string works only for decimal values--is this
by design? Example:
echo (int) '09' . ', ' . (int) '0x24';
...produces:
9, 0
which seems intuitively wrong (I'd have expected 0, 36).
Is this wrong, or should I just document it?
Thanks,
Torben
--
Torben Wilson <[EMAIL PROTECTED]>
http://www.thebuttlesschaps.com
+1.604.709.0506
--
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]
