'video/mp4',
'ogv', 'ogg' => 'video/ogg',
'webm' => 'video/webm',
default => 'video/mp4',
};
}
function e(string $value): string
{
return htmlspecialchars($value, ENT_QUOTES | ENT_SUBSTITUTE, 'UTF-8');
}
?>
<?= e($title !== '' ? $title : 'Embedded video') ?>