@bobbravo2 actually, you are quite right about flagging this as a problem. The PHP source file does not indicate the encoding it uses, and PHP doesn't support Unicode at a low level in general anyway. Since the file is encoded here as UTF-8, if WordPress is instead being served as `latin1` or another encoding, then this … would come out garbage, right?