+ if (!(url->flags & PHP_HTTP_URL_PARSE_TOPCT) || what == PARSE_HOSTINFO || what == PARSE_SCHEME) {
+ PHP_HTTP_DUFF(consumed, url->buffer[url->offset++] = *ptr++);
+ } else {
+ int i = 0;
+
+ PHP_HTTP_DUFF(consumed,
+ url->buffer[url->offset++] = '%';
+ url->buffer[url->offset++] = parse_xdigits[((unsigned char) ptr[i]) >> 4];
+ url->buffer[url->offset++] = parse_xdigits[((unsigned char) ptr[i]) & 0xf];
+ ++i;
+ );
+ }