Fix #765: shiny.php exception template does not use htmlspecialchars() when outputting file paths