Initial commit

admin/user.php

@@ -0,0 +1,45 @@
+<?php
+$id = $_SESSION['user'];
+if (isset($_GET['id']))
+{
+	$id = $_GET['id'];
+}
+try {
+	$displayed_user = new User($id);
+} catch (Exception $e) {
+	header("Location: /admin/?do=user");
+}
+
+
+if (isset($_POST['password']))
+{
+	$displayed_user->change_password();
+}
+
+if (isset($_POST['email']))
+{
+	$displayed_user->email_link();
+}
+
+if (isset($_POST['permission']))
+{
+	$displayed_user->change_permission();
+}
+
+
+if ($_GET['what']=='toggle')
+{
+	$displayed_user->toggle();
+}
+
+render_header("User", true);
+
+?>
+<div class="text-center">
+  	<h1>User settings</h1>
+</div>
+<?php if (isset($message)){?>
+    <p class="alert alert-danger"><?php echo $message?></p>
+<?php }
+
+$displayed_user->render_user_settings();