mirror of
https://github.com/qwjyh/QuantumLegos.jl.git
synced 2024-11-22 23:11:05 +09:00
52 lines
1.9 KiB
JavaScript
52 lines
1.9 KiB
JavaScript
function maybeAddWarning() {
|
|
// DOCUMENTER_NEWEST is defined in versions.js, DOCUMENTER_CURRENT_VERSION and DOCUMENTER_STABLE
|
|
// in siteinfo.js.
|
|
// If either of these are undefined something went horribly wrong, so we abort.
|
|
if (
|
|
window.DOCUMENTER_NEWEST === undefined ||
|
|
window.DOCUMENTER_CURRENT_VERSION === undefined ||
|
|
window.DOCUMENTER_STABLE === undefined
|
|
) {
|
|
return;
|
|
}
|
|
|
|
// Current version is not a version number, so we can't tell if it's the newest version. Abort.
|
|
if (!/v(\d+\.)*\d+/.test(window.DOCUMENTER_CURRENT_VERSION)) {
|
|
return;
|
|
}
|
|
|
|
// Current version is newest version, so no need to add a warning.
|
|
if (window.DOCUMENTER_NEWEST === window.DOCUMENTER_CURRENT_VERSION) {
|
|
return;
|
|
}
|
|
|
|
// Add a noindex meta tag (unless one exists) so that search engines don't index this version of the docs.
|
|
if (document.body.querySelector('meta[name="robots"]') === null) {
|
|
const meta = document.createElement("meta");
|
|
meta.name = "robots";
|
|
meta.content = "noindex";
|
|
|
|
document.getElementsByTagName("head")[0].appendChild(meta);
|
|
}
|
|
|
|
const div = document.createElement("div");
|
|
div.classList.add("outdated-warning-overlay");
|
|
const closer = document.createElement("button");
|
|
closer.classList.add("outdated-warning-closer", "delete");
|
|
closer.addEventListener("click", function () {
|
|
document.body.removeChild(div);
|
|
});
|
|
const href = window.documenterBaseURL + "/../" + window.DOCUMENTER_STABLE;
|
|
div.innerHTML =
|
|
'This documentation is not for the latest stable release, but for either the development version or an older release.<br><a href="' +
|
|
href +
|
|
'">Click here to go to the documentation for the latest stable release.</a>';
|
|
div.appendChild(closer);
|
|
document.body.appendChild(div);
|
|
}
|
|
|
|
if (document.readyState === "loading") {
|
|
document.addEventListener("DOMContentLoaded", maybeAddWarning);
|
|
} else {
|
|
maybeAddWarning();
|
|
}
|