diff --git a/docs/_static/version-switch.js b/docs/_static/version-switch.js index 015bdbce9..a71319314 100644 --- a/docs/_static/version-switch.js +++ b/docs/_static/version-switch.js @@ -73,7 +73,7 @@ document.addEventListener('DOMContentLoaded', () => { document.adoptedStyleSheets.push(cssStyleSheet); let currentVersion = DOCUMENTATION_OPTIONS.VERSION; - if (!versions.includes(currentVersion)) { + if (!versions.some(({ name }) => name === currentVersion)) { versions = [ { name: currentVersion, root_url: contentRoot }, ...versions,