tilde/figlet.php

<?php

if (isset($_GET["text"])) { // run figlet
    header("Content-Type: text/plain");
    echo shell_exec(
        "/usr/bin/figlet -d figfonts -w 76 -f " .
        escapeshellarg($_GET["font"] ?? "standard") . " -- " .
        escapeshellarg($_GET["text"])
    );
}