--- unicode-conversion.php 2009-04-28 23:49:37.000000000 +0200 +++ unicode-conversion-quotes.php 2010-03-14 02:24:33.000000000 +0100 @@ -31,6 +31,11 @@ function unicode_conversion_map($type = '---' => '—', '--' => '–', ), + 'quotes' => array( + ',,' => '„', + '\'\'' => '”', + '"' => '”', + ), // See http:#www.unicode.org/charts/PDF/U2190.pdf 'arrow' => array( '->>' => '↠', @@ -47,7 +52,7 @@ function unicode_conversion_map($type = ); if ($type == 'all') { - return array_merge($map['ligature'], $map['arrow'], $map['punctuation']); + return array_merge($map['ligature'], $map['arrow'], $map['punctuation'], $map['quotes']); } elseif ($type == 'nested') { return $map;