HTML tag stripper
// *UNTESTED*
// Strips complete and incomplete HTML tags from $html
// Strips complete and incomplete HTML tags from $html
function strip_bad_tags($html) { $s = preg_replace ("@?[^>]*>*@", "", $html); return $s; }