summary refs log tree commit diff
path: root/latest/workers.html
diff options
context:
space:
mode:
authorerikjohnston <erikjohnston@users.noreply.github.com>2023-12-12 17:29:11 +0000
committererikjohnston <erikjohnston@users.noreply.github.com>2023-12-12 17:29:11 +0000
commit001046b66e7cf9d27f0edda65c763a15c181fd26 (patch)
tree6f49d264a9fc117153bb93ae080ba662d27849b2 /latest/workers.html
parentdeploy: e108cde669fcc0a9f1def9d8771f962c9b0b312f (diff)
downloadsynapse-001046b66e7cf9d27f0edda65c763a15c181fd26.tar.xz
deploy: 15733b0931ceaa72cf4175c44fe58128fa273bac
Diffstat (limited to '')
-rw-r--r--latest/workers.html17
1 files changed, 16 insertions, 1 deletions
diff --git a/latest/workers.html b/latest/workers.html

index 5adf877a4f..9834649988 100644 --- a/latest/workers.html +++ b/latest/workers.html
@@ -28,6 +28,7 @@ <link rel="stylesheet" href="docs/website_files/table-of-contents.css"> <link rel="stylesheet" href="docs/website_files/remove-nav-buttons.css"> <link rel="stylesheet" href="docs/website_files/indent-section-headers.css"> + <link rel="stylesheet" href="docs/website_files/version-picker.css"> </head> <body> <!-- Provide site root to javascript --> @@ -103,6 +104,18 @@ <button id="search-toggle" class="icon-button" type="button" title="Search. (Shortkey: s)" aria-label="Toggle Searchbar" aria-expanded="false" aria-keyshortcuts="S" aria-controls="searchbar"> <i class="fa fa-search"></i> </button> + <div class="version-picker"> + <div class="dropdown"> + <div class="select"> + <span></span> + <i class="fa fa-chevron-down"></i> + </div> + <input type="hidden" name="version"> + <ul class="dropdown-menu"> + <!-- Versions will be added dynamically in version-picker.js --> + </ul> + </div> + </div> </div> <h1 class="menu-title">Synapse</h1> @@ -915,5 +928,7 @@ in systemd service files, but not required for synctl).</p> <!-- Custom JS scripts --> <script type="text/javascript" src="docs/website_files/table-of-contents.js"></script> + <script type="text/javascript" src="docs/website_files/version-picker.js"></script> + <script type="text/javascript" src="docs/website_files/version.js"></script> </body> -</html> \ No newline at end of file +</html>