a PHP extension for manipulating strings in multibyte encodings
