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);