diff --git a/docs/javascripts/extra.js b/docs/javascripts/extra.js
index e07822c9..10faee99 100644
--- a/docs/javascripts/extra.js
+++ b/docs/javascripts/extra.js
@@ -1,5 +1,14 @@
window.addEventListener("DOMContentLoaded", function() {
- if(!window.location.pathname.endsWith("/latest/")){
- document.querySelector("div[data-md-component=announce]").innerHTML = "
"
- }
+ var xhr = new XMLHttpRequest();
+ xhr.open("GET", window.location + "../versions.json");
+ xhr.onload = function() {
+ var versions = JSON.parse(this.responseText);
+ latest_version = ""
+ for(id in versions)
+ if(versions[id]["aliases"].length > 0 && versions[id]["aliases"].includes("latest"))
+ latest_version = "/" + versions[id].version + "/"
+ if(!window.location.pathname.includes("/latest/") && (latest_version.length > 0 && !window.location.pathname.includes(latest_version)))
+ document.querySelector("div[data-md-component=announce]").innerHTML = ""
+ };
+ xhr.send();
});