private static void convertPhpVulnerableFragment(@NotNull JsonWriter jsonWriter, Element fragment) throws IOException {
    jsonWriter.beginObject();

    writeFileSegmentAttributes(jsonWriter, fragment);

    jsonWriter.name("markers");
    jsonWriter.beginArray();
    for (Element marker : fragment.getChildren("marker")) {
      convertPhpTaintMarker(jsonWriter, marker);
    }
    jsonWriter.endArray();

    jsonWriter.endObject();
  }
private static void convertPhpVulnerableFragment(@NotNull JsonWriter jsonWriter, Element fragment)