option_len       4603 ext/date/php_date.c 	int                             option_len = 0;
option_len       4605 ext/date/php_date.c 	if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "|ls", &what, &option, &option_len) == FAILURE) {
option_len       4610 ext/date/php_date.c 	if (what == PHP_DATE_TIMEZONE_PER_COUNTRY && option_len != 2) {
option_len       5395 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       5397 ext/standard/basic_functions.c 	if (option_len != (new_option_len - 1)) {
option_len       5401 ext/standard/basic_functions.c 	return !strncmp(option_name, new_option_name, option_len);