Generated file

Copy as Markdown

Other Tools

/* THIS IS AN AUTOGENERATED FILE. DO NOT EDIT THIS FILE DIRECTLY. */
if (navigator.appVersion != "5.0 (Linux)") {
const nav = Object.getPrototypeOf(navigator);
const desc = Object.getOwnPropertyDescriptor(nav, "appVersion");
desc.get = () => "5.0 (Linux)";
Object.defineProperty(nav, "appVersion", desc);
window.__webcompat = (window.__webcompat ?? new Set()).add(
"navigator.appVersion"
);
}
{
const bugInfo = [["www.camper-van-week-end.fr", ["1970810"]]];
const msgs = window.__webcompat;
delete window.__webcompat;
if (msgs?.size) {
const bugs =
bugInfo.find(([domain]) => location.href.includes(domain))?.[1] ??
bugInfo[0][1];
const bugNumbers = bugs.map(b => "https://bugzil.la/" + b).join(" and ");
console.info(
`${[...msgs].join(", ")} ${msgs.size > 1 ? "are" : "is"} being altered for compatibility reasons. See ${bugNumbers} for details.`
);
}
}