pub const PHP_DEFAULT_CHARSET: &[u8; 6] = b"UTF-8\0";