A PHP extension converting Chinese character to Pinyin