diff --git a/develop/setup/forward_proxy.html b/develop/setup/forward_proxy.html
index e8c3cddef2..3e1c491c79 100644
--- a/develop/setup/forward_proxy.html
+++ b/develop/setup/forward_proxy.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>
@@ -260,5 +273,7 @@ your <a href="../usage/configuration/homeserver_sample_config.html">homserver.ya
<!-- 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
diff --git a/develop/setup/installation.html b/develop/setup/installation.html
index 97503eb6eb..d97430bcac 100644
--- a/develop/setup/installation.html
+++ b/develop/setup/installation.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>
@@ -614,5 +627,7 @@ failing, e.g.:</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
diff --git a/develop/setup/turn/coturn.html b/develop/setup/turn/coturn.html
index 810b51ee60..64edc34132 100644
--- a/develop/setup/turn/coturn.html
+++ b/develop/setup/turn/coturn.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>
@@ -347,5 +360,7 @@ IPv6 address that is mapped by NAT to the external IPv6 address.</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
diff --git a/develop/setup/turn/eturnal.html b/develop/setup/turn/eturnal.html
index 6a0099f725..328ae6d53c 100644
--- a/develop/setup/turn/eturnal.html
+++ b/develop/setup/turn/eturnal.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>
@@ -320,5 +333,7 @@ to query how many active sessions exist, to change logging behaviour and so on.<
<!-- 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
|
