Home
last modified time | relevance | path

Searched refs:divisor (Results 1 – 3 of 3) sorted by relevance

/PHP-5.6/Zend/
H A Dzend_operators.c140 double divisor = 10.0; in zend_string_to_double() local
169 result += (*digit - '0') / divisor; in zend_string_to_double()
170 divisor *= 10; in zend_string_to_double()
/PHP-5.6/
H A Dphp.ini-development1520 ; http://php.net/session.gc-divisor
H A Dphp.ini-production1520 ; http://php.net/session.gc-divisor

Completed in 15 milliseconds