Searched refs:zend_ini_double (Results 1 – 3 of 3) sorted by relevance
85 ZEND_API double zend_ini_double(char *name, uint name_length, int orig);140 #define INI_FLT(name) zend_ini_double((name), sizeof(name)-1, 0)145 #define INI_ORIG_FLT(name) zend_ini_double((name), sizeof(name)-1, 1)
438 ZEND_API double zend_ini_double(char *name, uint name_length, int orig) /* {{{ */ in zend_ini_double() function
88 #define php_ini_double zend_ini_double
Completed in 13 milliseconds