From 4253a2c545e372ebd908c459c387c4e0fea704f5 Mon Sep 17 00:00:00 2001 From: "John Paul E. Balandan, CPA" Date: Fri, 24 Apr 2026 15:43:07 +0800 Subject: [PATCH] docs: add version switcher to docs page --- .../source/_static/js/version_switcher.js | 119 ++++++++++++++++++ user_guide_src/source/conf.py | 3 +- 2 files changed, 121 insertions(+), 1 deletion(-) create mode 100644 user_guide_src/source/_static/js/version_switcher.js diff --git a/user_guide_src/source/_static/js/version_switcher.js b/user_guide_src/source/_static/js/version_switcher.js new file mode 100644 index 000000000000..a201bb4ddc7a --- /dev/null +++ b/user_guide_src/source/_static/js/version_switcher.js @@ -0,0 +1,119 @@ +/* + * Version switcher for the user guide sidebar. + * + * Injects the sphinx_rtd_theme's native ".switch-menus > .version-switch" + * scaffolding above the search box in the left sidebar, containing a