PHP – 使用 mb_convert_case() 在字符串中进行大小写折叠