Pith - miter
<?php

echo htmlspecialchars($user_name ?? '', ENT_QUOTES, 'UTF-8');

if (isset($_GET['miter'])) {
$miter_title_id = $_GET['miter'];
$miter_title_get = 'miters/' . $miter_title_id . '.txt';

if (file_exists($miter_title_get)) {
$title = file_get_contents($miter_title_get, false, null, 0, 60);
$title = preg_replace("/<br\W*?\/?>/i", " ", $title);
$page_title = strip_tags($title);
}

} elseif (isset($_GET['rasp'])) {
$miter_title_id = $_GET['rasp'];
$miter_title_get = 'rasps/' . $miter_title_id . '.txt';

if (file_exists($miter_title_get)) {
$title = file_get_contents($miter_title_get, false, null, 0, 60);
$title = preg_replace("/<br\W*?\/?>/i", " ", $title);
$page_title = strip_tags($title);
}

} elseif (isset($_GET['tenon'])) {
$tenon_id = $_GET['tenon'];
$tenon_dir = 'tenons/' . $tenon_id . '.txt';

if (file_exists($tenon_dir)) {
$tenon_data = file_get_contents($tenon_dir);
list($title, $odate, $gdate, $tenon) = explode("|&|", $tenon_data);
$page_title = $title;
}

} elseif (isset($_GET['pith'])) {
$pith_id = $_GET['pith'];
if ($pith_id) { 
$title = $pith_id;
$page_title = 'Pith - ' . $title;
} else {
$title = '';
$page_title = 'Pith';
}

} elseif (isset($_GET['edit'])) {
if (($login ?? false) === true) {
$tenon_id = $_GET['edit'];
$tenon_dir = 'tenons/' . $tenon_id . '.txt';

if (file_exists($tenon_dir)) {
$tenon_data = file_get_contents($tenon_dir);
list($title, $odate, $gdate, $tenon) = explode("|&|", $tenon_data);
$page_title = 'Edit ' . $title;
}
}

} elseif (isset($_GET['search'])) {
$page_title = 'Search "' . $_GET['search'] . '"';

} elseif (isset($_GET['tenons'])) {
$page_title = 'Tenons';

} elseif (isset($_GET['user'])) {
$u_title = $_GET['user'];

$title_map = [
'new'           => 'New Tenon',
'panels'        => 'Panels',
'tenon_images'  => 'Tenon Images',
'tenon_files'   => 'Files',
'settings'      => 'Settings',
'miter_inserts' => 'Miter Inserts',
'tenon_inserts' => 'Tenon Inserts',
'css'           => 'CSS Editor',
'log'           => 'Log',
'tenons'        => 'Tenons',
'icons'         => 'Icons'
];

if (array_key_exists($u_title, $title_map)) {
$page_title = $title_map[$u_title];
}
}

if (isset($page_title)) {
echo ' - ' . htmlspecialchars($page_title, ENT_QUOTES, 'UTF-8');
}
?>