summary refs log tree commit diff
path: root/v1.91/development
diff options
context:
space:
mode:
Diffstat (limited to 'v1.91/development')
-rw-r--r--v1.91/development/cas.html17
-rw-r--r--v1.91/development/contributing_guide.html17
-rw-r--r--v1.91/development/database_schema.html17
-rw-r--r--v1.91/development/demo.html17
-rw-r--r--v1.91/development/dependencies.html17
-rw-r--r--v1.91/development/experimental_features.html17
-rw-r--r--v1.91/development/git.html17
-rw-r--r--v1.91/development/internal_documentation/index.html17
-rw-r--r--v1.91/development/releases.html17
-rw-r--r--v1.91/development/reviews.html17
-rw-r--r--v1.91/development/room-dag-concepts.html17
-rw-r--r--v1.91/development/saml.html17
-rw-r--r--v1.91/development/synapse_architecture/cancellation.html17
-rw-r--r--v1.91/development/synapse_architecture/faster_joins.html17
-rw-r--r--v1.91/development/synapse_architecture/streams.html17
15 files changed, 240 insertions, 15 deletions
diff --git a/v1.91/development/cas.html b/v1.91/development/cas.html

index ae35250574..f3579198d2 100644 --- a/v1.91/development/cas.html +++ b/v1.91/development/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> @@ -247,5 +260,7 @@ and that the CAS server is on port 8000, both on localhost.</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.91/development/contributing_guide.html b/v1.91/development/contributing_guide.html
index b328bba158..e85995d1cf 100644 --- a/v1.91/development/contributing_guide.html +++ b/v1.91/development/contributing_guide.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> @@ -638,5 +651,7 @@ do!</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.91/development/database_schema.html b/v1.91/development/database_schema.html
index 3ba3b06439..063591deb7 100644 --- a/v1.91/development/database_schema.html +++ b/v1.91/development/database_schema.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> @@ -334,5 +347,7 @@ will never happen (SHA256 has a massive big key space).</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.91/development/demo.html b/v1.91/development/demo.html
index 2d4754ff33..cefec557bd 100644 --- a/v1.91/development/demo.html +++ b/v1.91/development/demo.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 @@ name.</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.91/development/dependencies.html b/v1.91/development/dependencies.html
index f44f2db144..db87f74b82 100644 --- a/v1.91/development/dependencies.html +++ b/v1.91/development/dependencies.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> @@ -402,5 +415,7 @@ letting Poetry do the right thing.</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.91/development/experimental_features.html b/v1.91/development/experimental_features.html
index 98974dd4cd..64bbeea6d9 100644 --- a/v1.91/development/experimental_features.html +++ b/v1.91/development/experimental_features.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> @@ -218,5 +231,7 @@ configuration key (see the <code>synapse.config.experimental</code> file) and ei <!-- 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.91/development/git.html b/v1.91/development/git.html
index a6a9a322e6..4da15fac89 100644 --- a/v1.91/development/git.html +++ b/v1.91/development/git.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> @@ -306,5 +319,7 @@ the history of Synapse), we've had two releases in flight at once. Obviously, <!-- 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.91/development/internal_documentation/index.html b/v1.91/development/internal_documentation/index.html
index 10f4a067e1..feec47193a 100644 --- a/v1.91/development/internal_documentation/index.html +++ b/v1.91/development/internal_documentation/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> @@ -194,5 +207,7 @@ under the Usage section of the documentation.</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.91/development/releases.html b/v1.91/development/releases.html
index 5cea2ff5ec..da3039013d 100644 --- a/v1.91/development/releases.html +++ b/v1.91/development/releases.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> @@ -215,5 +228,7 @@ found in the <a href="https://matrix.org/blog/category/security">security catego <!-- 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.91/development/reviews.html b/v1.91/development/reviews.html
index ee932ce705..6028a647c0 100644 --- a/v1.91/development/reviews.html +++ b/v1.91/development/reviews.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> @@ -218,5 +231,7 @@ with the rationale on why you're putting it back in the queue.</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.91/development/room-dag-concepts.html b/v1.91/development/room-dag-concepts.html
index eaa06b291c..2e68370acf 100644 --- a/v1.91/development/room-dag-concepts.html +++ b/v1.91/development/room-dag-concepts.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> @@ -274,5 +287,7 @@ notes from @Azrenbeth, https://pastebin.com/seUGVGeT</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.91/development/saml.html b/v1.91/development/saml.html
index 3a2e8ac490..207122b62f 100644 --- a/v1.91/development/saml.html +++ b/v1.91/development/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> @@ -223,5 +236,7 @@ samling page and clear the site data. In Chrome, this will be a button on the Ap <!-- 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.91/development/synapse_architecture/cancellation.html b/v1.91/development/synapse_architecture/cancellation.html
index 8f7d25bb88..4183a211e9 100644 --- a/v1.91/development/synapse_architecture/cancellation.html +++ b/v1.91/development/synapse_architecture/cancellation.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> @@ -532,5 +545,7 @@ with LoggingContext(&quot;request-1&quot;): <!-- 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.91/development/synapse_architecture/faster_joins.html b/v1.91/development/synapse_architecture/faster_joins.html
index d60c159d11..d4d0c55289 100644 --- a/v1.91/development/synapse_architecture/faster_joins.html +++ b/v1.91/development/synapse_architecture/faster_joins.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> @@ -526,5 +539,7 @@ work?</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.91/development/synapse_architecture/streams.html b/v1.91/development/synapse_architecture/streams.html
index a76d3e8020..5d3ee955af 100644 --- a/v1.91/development/synapse_architecture/streams.html +++ b/v1.91/development/synapse_architecture/streams.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> @@ -312,5 +325,7 @@ nowadays it's done via Redis's Pubsub.</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>