double_encode    1469 ext/standard/basic_functions.c 	ZEND_ARG_INFO(0, double_encode)
double_encode    1487 ext/standard/basic_functions.c 	ZEND_ARG_INFO(0, double_encode)
double_encode    1226 ext/standard/html.c PHPAPI char *php_escape_html_entities_ex(unsigned char *old, size_t oldlen, size_t *newlen, int all, int flags, char *hint_charset, zend_bool double_encode TSRMLS_DC)
double_encode    1252 ext/standard/html.c 	if (!double_encode) {
double_encode    1383 ext/standard/html.c 			if (double_encode) {
double_encode    1452 ext/standard/html.c 	zend_bool double_encode = 1;
double_encode    1454 ext/standard/html.c 	if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "s|ls!b", &str, &str_len, &flags, &hint_charset, &hint_charset_len, &double_encode) == FAILURE) {
double_encode    1461 ext/standard/html.c 	replaced = php_escape_html_entities_ex(str, str_len, &new_len, all, (int) flags, hint_charset, double_encode TSRMLS_CC);
double_encode      58 ext/standard/html.h PHPAPI char *php_escape_html_entities_ex(unsigned char *old, size_t oldlen, size_t *newlen, int all, int flags, char *hint_charset, zend_bool double_encode TSRMLS_DC);