alecpl
2009-11-10 7d0b34db310042ef624a06118380f2a099096f08
program/include/main.inc
@@ -300,8 +300,11 @@
  {
  $charset = strtoupper($charset);
  # RFC1642
  $charset = str_replace('UNICODE-1-1-', '', $charset);
  $charset = preg_replace(array(
    '/^[^0-9A-Z]+/',   // e.g. _ISO-8859-JP$SIO
    '/\$.*$/',      // e.g. _ISO-8859-JP$SIO
    '/UNICODE-1-1-/',   // RFC1642
    ), '', $charset);
  # Aliases: some of them from HTML5 spec.
  $aliases = array(