Fix

OLD_CODE/public/logout.php

@@ -0,0 +1,17 @@
+<?php
+session_start();
+
+$_SESSION = [];
+
+if (ini_get("session.use_cookies")) {
+    $params = session_get_cookie_params();
+    setcookie(session_name(), '', time() - 42000,
+        $params["path"], $params["domain"],
+        $params["secure"], $params["httponly"]
+    );
+}
+
+session_destroy();
+
+header('Location: index.php');
+exit();