-
Notifications
You must be signed in to change notification settings - Fork 67
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
3 changed files
with
93 additions
and
41 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -22,7 +22,7 @@ jobs: | |
fail-fast: false | ||
matrix: | ||
julia-version: | ||
- '1.10' | ||
#- '1.10' | ||
julia-arch: | ||
- x64 | ||
os: | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,52 @@ | ||
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(); | ||
} |