diff --git a/v1.72/usage/administration/admin_api/background_updates.html b/v1.72/usage/administration/admin_api/background_updates.html
index c3ee1aea1c..e391ef77de 100644
--- a/v1.72/usage/administration/admin_api/background_updates.html
+++ b/v1.72/usage/administration/admin_api/background_updates.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>
@@ -255,5 +268,7 @@ background updates which won't be cancelled once started.</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>
diff --git a/v1.72/usage/administration/admin_api/federation.html b/v1.72/usage/administration/admin_api/federation.html
index d9af4a958d..e71b2796fb 100644
--- a/v1.72/usage/administration/admin_api/federation.html
+++ b/v1.72/usage/administration/admin_api/federation.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>
@@ -357,5 +370,7 @@ even if the API already returns the http status 200.</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>
diff --git a/v1.72/usage/administration/admin_api/index.html b/v1.72/usage/administration/admin_api/index.html
index 2b6447abc1..a7105fc623 100644
--- a/v1.72/usage/administration/admin_api/index.html
+++ b/v1.72/usage/administration/admin_api/index.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>
@@ -217,5 +230,7 @@ information from the Admin API.</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>
diff --git a/v1.72/usage/administration/admin_api/registration_tokens.html b/v1.72/usage/administration/admin_api/registration_tokens.html
index 30877efb34..1cf165a0ca 100644
--- a/v1.72/usage/administration/admin_api/registration_tokens.html
+++ b/v1.72/usage/administration/admin_api/registration_tokens.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>
@@ -423,5 +436,7 @@ the <a href="https://matrix.org/docs/spec/client_server/r0.6.1#api-standards">Ma
<!-- 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>
diff --git a/v1.72/usage/administration/admin_faq.html b/v1.72/usage/administration/admin_faq.html
index cd67440380..52eb817180 100644
--- a/v1.72/usage/administration/admin_faq.html
+++ b/v1.72/usage/administration/admin_faq.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>
@@ -308,5 +321,7 @@ you see this failure mode so we can help debug it, however.</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>
diff --git a/v1.72/usage/administration/database_maintenance_tools.html b/v1.72/usage/administration/database_maintenance_tools.html
index 1636d7239d..83e1e716cf 100644
--- a/v1.72/usage/administration/database_maintenance_tools.html
+++ b/v1.72/usage/administration/database_maintenance_tools.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>
@@ -197,5 +210,7 @@
<!-- 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>
diff --git a/v1.72/usage/administration/index.html b/v1.72/usage/administration/index.html
index b5226c18ad..819bbe53d7 100644
--- a/v1.72/usage/administration/index.html
+++ b/v1.72/usage/administration/index.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>
@@ -192,5 +205,7 @@
<!-- 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>
diff --git a/v1.72/usage/administration/monitoring/reporting_homeserver_usage_statistics.html b/v1.72/usage/administration/monitoring/reporting_homeserver_usage_statistics.html
index 9321a512ba..c6ef2f7d09 100644
--- a/v1.72/usage/administration/monitoring/reporting_homeserver_usage_statistics.html
+++ b/v1.72/usage/administration/monitoring/reporting_homeserver_usage_statistics.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>
@@ -259,5 +272,7 @@ consider using one of the following known implementations:</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>
diff --git a/v1.72/usage/administration/monthly_active_users.html b/v1.72/usage/administration/monthly_active_users.html
index 0b9b992bef..9b8c507859 100644
--- a/v1.72/usage/administration/monthly_active_users.html
+++ b/v1.72/usage/administration/monthly_active_users.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>
@@ -249,5 +262,7 @@ registered accounts on the homeserver.</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>
diff --git a/v1.72/usage/administration/request_log.html b/v1.72/usage/administration/request_log.html
index e5b7100be4..75e29bb8c3 100644
--- a/v1.72/usage/administration/request_log.html
+++ b/v1.72/usage/administration/request_log.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>
@@ -220,5 +233,7 @@ small processing times.</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>
diff --git a/v1.72/usage/administration/state_groups.html b/v1.72/usage/administration/state_groups.html
index 03bc079719..72f0397377 100644
--- a/v1.72/usage/administration/state_groups.html
+++ b/v1.72/usage/administration/state_groups.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>
@@ -198,5 +211,7 @@
<!-- 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>
diff --git a/v1.72/usage/administration/understanding_synapse_through_grafana_graphs.html b/v1.72/usage/administration/understanding_synapse_through_grafana_graphs.html
index 715e258c92..114678b657 100644
--- a/v1.72/usage/administration/understanding_synapse_through_grafana_graphs.html
+++ b/v1.72/usage/administration/understanding_synapse_through_grafana_graphs.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>
@@ -235,5 +248,7 @@ to make use of multiple CPU cores / multiple machines for your homeserver.</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>
diff --git a/v1.72/usage/administration/useful_sql_for_admins.html b/v1.72/usage/administration/useful_sql_for_admins.html
index 4565af12cd..50780244a5 100644
--- a/v1.72/usage/administration/useful_sql_for_admins.html
+++ b/v1.72/usage/administration/useful_sql_for_admins.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>
@@ -355,5 +368,7 @@ WHERE room_stats_state.room_id = event_json.room_id" | psql -d synapse -h l
<!-- 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>
diff --git a/v1.72/usage/configuration/config_documentation.html b/v1.72/usage/configuration/config_documentation.html
index e0dc6ee087..3da51e0f93 100644
--- a/v1.72/usage/configuration/config_documentation.html
+++ b/v1.72/usage/configuration/config_documentation.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>
@@ -3589,5 +3602,7 @@ Set a size to change the default.</li>
<!-- 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>
diff --git a/v1.72/usage/configuration/homeserver_sample_config.html b/v1.72/usage/configuration/homeserver_sample_config.html
index e48a4d48aa..655799cc93 100644
--- a/v1.72/usage/configuration/homeserver_sample_config.html
+++ b/v1.72/usage/configuration/homeserver_sample_config.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>
@@ -239,5 +252,7 @@ trusted_key_servers:
<!-- 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>
diff --git a/v1.72/usage/configuration/index.html b/v1.72/usage/configuration/index.html
index 52e8264c9d..5365a4a5f8 100644
--- a/v1.72/usage/configuration/index.html
+++ b/v1.72/usage/configuration/index.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>
@@ -188,5 +201,7 @@ file should have been generated when you <a href="../../setup/installation.html"
<!-- 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>
diff --git a/v1.72/usage/configuration/logging_sample_config.html b/v1.72/usage/configuration/logging_sample_config.html
index c5272f82bc..12a91fb446 100644
--- a/v1.72/usage/configuration/logging_sample_config.html
+++ b/v1.72/usage/configuration/logging_sample_config.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>
@@ -271,5 +284,7 @@ disable_existing_loggers: false
<!-- 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>
diff --git a/v1.72/usage/configuration/user_authentication/index.html b/v1.72/usage/configuration/user_authentication/index.html
index b3de5df11a..025ef0245d 100644
--- a/v1.72/usage/configuration/user_authentication/index.html
+++ b/v1.72/usage/configuration/user_authentication/index.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>
@@ -198,5 +211,7 @@ modules.</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>
diff --git a/v1.72/usage/configuration/user_authentication/refresh_tokens.html b/v1.72/usage/configuration/user_authentication/refresh_tokens.html
index fc7b2c7483..e4161ef893 100644
--- a/v1.72/usage/configuration/user_authentication/refresh_tokens.html
+++ b/v1.72/usage/configuration/user_authentication/refresh_tokens.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>
@@ -307,5 +320,7 @@ above requirements will still hold.</em></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>
diff --git a/v1.72/usage/configuration/user_authentication/single_sign_on/cas.html b/v1.72/usage/configuration/user_authentication/single_sign_on/cas.html
index 2c1ebbba62..451f30d2d9 100644
--- a/v1.72/usage/configuration/user_authentication/single_sign_on/cas.html
+++ b/v1.72/usage/configuration/user_authentication/single_sign_on/cas.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>
@@ -191,5 +204,7 @@ sections of the configuration manual for more details.</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>
diff --git a/v1.72/usage/configuration/user_authentication/single_sign_on/index.html b/v1.72/usage/configuration/user_authentication/single_sign_on/index.html
index df7ef55bc4..9560d7a379 100644
--- a/v1.72/usage/configuration/user_authentication/single_sign_on/index.html
+++ b/v1.72/usage/configuration/user_authentication/single_sign_on/index.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>
@@ -189,5 +202,7 @@ auth provider modules.</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>
diff --git a/v1.72/usage/configuration/user_authentication/single_sign_on/saml.html b/v1.72/usage/configuration/user_authentication/single_sign_on/saml.html
index 04b85e31ef..fd8cbdb88b 100644
--- a/v1.72/usage/configuration/user_authentication/single_sign_on/saml.html
+++ b/v1.72/usage/configuration/user_authentication/single_sign_on/saml.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>
@@ -191,5 +204,7 @@ file</a> for more details.</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>
|
