PHP extension for character set conversion
