diff options
| author | Action Bot <action@synapse.bot.com> | 2023-12-11 14:53:59 +0000 |
|---|---|---|
| committer | Action Bot <action@synapse.bot.com> | 2023-12-11 14:53:59 +0000 |
| commit | 58c7d22654750904f42b3cdd61a6fbeb8c4ca7ad (patch) | |
| tree | 18442bc121ea08b747f59c1d8f548d09176fde01 /v1.87/print.html | |
| parent | Version picker deployed for v1.88 docs to Github Pages (diff) | |
| download | synapse-58c7d22654750904f42b3cdd61a6fbeb8c4ca7ad.tar.xz | |
Version picker deployed for v1.87 docs to Github Pages
Diffstat (limited to 'v1.87/print.html')
| -rw-r--r-- | v1.87/print.html | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/v1.87/print.html b/v1.87/print.html index 300c12be4b..2c9bef2d0c 100644 --- a/v1.87/print.html +++ b/v1.87/print.html @@ -29,6 +29,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 --> @@ -104,6 +105,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> @@ -18884,10 +18897,12 @@ admin@homeserver:~$ sudo --user postgres psql matrix-synapse --command 'select c <!-- 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> <script type="text/javascript"> window.addEventListener('load', function() { window.setTimeout(window.print, 100); }); </script> </body> -</html> \ No newline at end of file +</html> |