<!doctype html>
<?php
if(isset($_GET['source'])) {
    highlight_file(__FILE__);
    exit;
}
?>
<a id="mpv" href="mpv:<?=filter_input(INPUT_GET, "url", FILTER_SANITIZE_URL);?>">Open in MPV</a>
<script>
    document.getElementById('mpv').click();
    setTimeout(function() { window.close() }, 100);
</script>