Undo extra changes

This commit is contained in:
Darío Kondratiuk 2024-06-04 09:37:46 -04:00
parent 3f74fc8320
commit cf3ef43dbc
2 changed files with 46 additions and 51 deletions

View file

@ -12,7 +12,7 @@ If you believe you have found a security vulnerability in any Microsoft-owned re
Instead, please report them to the Microsoft Security Response Center (MSRC) at [https://msrc.microsoft.com/create-report](https://msrc.microsoft.com/create-report). Instead, please report them to the Microsoft Security Response Center (MSRC) at [https://msrc.microsoft.com/create-report](https://msrc.microsoft.com/create-report).
If you prefer to submit without logging in, send email to [secure@microsoft.com](mailto:secure@microsoft.com). If possible, encrypt your message with our PGP key; please download it from the [Microsoft Security Response Center PGP Key page](https://www.microsoft.com/en-us/msrc/pgp-key-msrc). If you prefer to submit without logging in, send email to [secure@microsoft.com](mailto:secure@microsoft.com). If possible, encrypt your message with our PGP key; please download it from the the [Microsoft Security Response Center PGP Key page](https://www.microsoft.com/en-us/msrc/pgp-key-msrc).
You should receive a response within 24 hours. If for some reason you do not, please follow up via email to ensure we received your original message. Additional information can be found at [microsoft.com/msrc](https://www.microsoft.com/msrc). You should receive a response within 24 hours. If for some reason you do not, please follow up via email to ensure we received your original message. Additional information can be found at [microsoft.com/msrc](https://www.microsoft.com/msrc).

View file

@ -392,16 +392,11 @@ export function tokenize(str1: string): CSSTokenInterface[] {
break; break;
} }
} }
if (whitespace(next())) consume(); if (whitespace(next()))
let value = parseInt( consume();
digits let value = parseInt(digits.map(function(x) { return String.fromCharCode(x); }).join(''), 16);
.map(function (x) { if (value > maximumallowedcodepoint)
return String.fromCharCode(x); value = 0xfffd;
})
.join(""),
16
);
if (value > maximumallowedcodepoint) value = 0xfffd;
return value; return value;
} else if (eof()) { } else if (eof()) {
return 0xfffd; return 0xfffd;