Merge branch 'copy_to_clipboard'

2023-07-01 20:18:00 +02:00 · 2023-07-01 20:18:00 +02:00 · abb4047135
parent ff6fe2a89c 90d58ed550
commit abb4047135
1 changed files with 1 additions and 0 deletions
--- a/adminer/include/design.inc.php
+++ b/adminer/include/design.inc.php
@ -193,4 +193,5 @@ function page_footer($missing = "") {
 <?php
 	echo script("setupSubmitHighlight(document);");
 	echo script("setupCopyToClipboard(document);");
+	echo "</body>\n</html>";
 }