Lines Matching refs:xmlHeader
205 static const char* xmlHeader = "<?xml version=\"1.0\" encoding=\"utf-8\"?>\n";1125 write_utf8_file(out, xmlHeader);