/* THIS IS AN AUTOGENERATED FILE. DO NOT EDIT THIS FILE DIRECTLY. */
if (navigator.platform != "Win64") {
const nav = Object.getPrototypeOf(navigator);
const platform = Object.getOwnPropertyDescriptor(nav, "platform");
platform.get = () => "Win64";
Object.defineProperty(nav, "platform", platform);
window.__webcompat = (window.__webcompat ?? new Set()).add(
"navigator.platform"
);
}
{
const bugInfo = [["formula1.com", ["1950282"]]];
const msgs = window.__webcompat;
delete window.__webcompat;
if (msgs?.size) {
const bugs =
bugInfo.find(([domain]) => location.href.includes(domain))?.[1] ??
bugInfo[0][1];
console.info(
`${[...msgs].join(", ")} ${msgs.size > 1 ? "are" : "is"} being altered for compatibility reasons. See ${bugNumbers} for details.`
);
}
}