From 50d7bd2ca054c4feb7f9161646f8a9f342c86cf2 Mon Sep 17 00:00:00 2001
From: Janis Steiner <89935073+jakani24@users.noreply.github.com>
Date: Fri, 28 Jun 2024 10:42:40 +0000
Subject: [PATCH] Update reservations.php

---
 sys0-code/app/reservations.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sys0-code/app/reservations.php b/sys0-code/app/reservations.php
index 1728867..67f82a3 100644
--- a/sys0-code/app/reservations.php
+++ b/sys0-code/app/reservations.php
@@ -94,6 +94,7 @@ if(isset($_GET["del"])){
 							echo("<option value='".$row["id"]."'>".$row["name"]."</option>");
 						}
 					?>
+					<option value='0'>Lehrer</option>
 					</select>
 					<button type="submit" value="res" name ="res" class="btn btn-primary">Reservieren</button>
 				</form>