option_len 4514 ext/date/php_date.c size_t option_len = 0; option_len 4516 ext/date/php_date.c if (zend_parse_parameters(ZEND_NUM_ARGS(), "|ls", &what, &option, &option_len) == FAILURE) { option_len 4521 ext/date/php_date.c if (what == PHP_DATE_TIMEZONE_PER_COUNTRY && option_len != 2) { option_len 5341 ext/standard/basic_functions.c static int php_ini_check_path(char *option_name, int option_len, char *new_option_name, int new_option_len) /* {{{ */ option_len 5343 ext/standard/basic_functions.c if (option_len != (new_option_len - 1)) { option_len 5347 ext/standard/basic_functions.c return !strncmp(option_name, new_option_name, option_len);