> Am 02.06.2016 um 20:53 schrieb Fleshgrinder <p...@fleshgrinder.com>: > > On 6/2/2016 8:45 PM, Bob Weinand wrote: >> Done that, does it look better now? :-) >> > > Absolutely in my opinion, looks much simpler now. :) > >> only if actually numeric, the result of $str + 0 > > Shouldn't we use is_numeric_string() here?
That's the internal function responsible for the conversion. Bob > -- > Richard "Fleshgrinder" Fussenegger > -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
