Add export function

server/index.php

@@ -171,6 +171,19 @@ if ($user != "")
 }
 ?>
 </div>
+<div id="export_database">
+<?php
+    global $user;
+
+if ($user != "")
+{
+    echo "<b>Export</b><br/>\n";
+
+    echo '<input type="button" value="Export" onclick="export_database();"/>';
+    echo '<a id="export_link">Download</a>';
+}
+?>
+</div>
 </div>
 </body>
 </html>