<?php
declare(strict_types=1);
session_start();

if (empty($_SESSION['miter'])) {
	header('Location: ../../index.php');
	exit;
}

if (isset($_GET['d'])) {
	$doc_name = basename((string)$_GET['d']);
	$doc_file = "docs/{$doc_name}";

	if (file_exists($doc_file) && is_file($doc_file)) {
		unlink($doc_file);
	}

	// log
	include '../admin/otc.php';
	$log_data = ($o_date . " -- Deleted File (Ditch): " . $doc_name . "\n");
	$log_file = '../admin/log.txt';
	
	file_put_contents($log_file, $log_data, FILE_APPEND | LOCK_EX);

	header('location:../../index.php?u=ditch');
	exit;
}
?>