From: Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com> Date: Thu, 24 Oct 2024 21:00:45 +0000 (+0200) Subject: [3.12] gh-125933: Add ARIA labels to select elements in the version switcher (GH... X-Git-Tag: v3.12.8~171 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=31ff9e5ac685dff58456f7fa93d1872e8cda604f;p=thirdparty%2FPython%2Fcpython.git [3.12] gh-125933: Add ARIA labels to select elements in the version switcher (GH-125934) (#125939) gh-125933: Add ARIA labels to select elements in the version switcher (GH-125934) (cherry picked from commit 1306f33c84b2745aa8af5e3e8f680aa80b836c0e) Co-authored-by: Kerim Kabirov Co-authored-by: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com> --- diff --git a/Doc/tools/static/rtd_switcher.js b/Doc/tools/static/rtd_switcher.js index f5dc7045a0db..2bf01a002db9 100644 --- a/Doc/tools/static/rtd_switcher.js +++ b/Doc/tools/static/rtd_switcher.js @@ -7,7 +7,7 @@ document.addEventListener("readthedocs-addons-data-ready", function(event) { const config = event.detail.data() const versionSelect = ` - ${ config.versions.active.map( (version) => `