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