104 |
# If a number, don't touch it |
# If a number, don't touch it |
105 |
if (strcmp(intval($str)."", $str."") == 0) return $str; |
if (strcmp(intval($str)."", $str."") == 0) return $str; |
106 |
|
|
107 |
# Replace "``" and "''" with """ (normal ASCII double quote) |
# Replace "``", "''", "<<" and ">>" with """ (normal ASCII double quote) |
108 |
$str = str_replace("", '"', $str); |
$str = str_replace("", '"', $str); |
109 |
$str = str_replace("", '"', $str); |
$str = str_replace("", '"', $str); |
110 |
|
$str = str_replace("", '"', $str); |
111 |
|
$str = str_replace("", '"', $str); |
112 |
# Replace "-" with "-" |
# Replace "-" with "-" |
113 |
$str = str_replace("", '-', $str); |
$str = str_replace("", '-', $str); |
114 |
# Replace character references ("&...;" and "&#...;") with its value |
# Replace character references ("&...;" and "&#...;") with its value |