下列选项中，不属于PHP提供的字符串函数的是（）。