Skip to content

Commit

Permalink
Also parse files with the xmi extension as xml.
Browse files Browse the repository at this point in the history
  • Loading branch information
sambsnyd committed Jul 18, 2024
1 parent 44d3ff3 commit 2554661
Showing 1 changed file with 1 addition and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -73,6 +73,7 @@ public Stream<SourceFile> parse(@Language("xml") String... sources) {
public boolean accept(Path path) {
String p = path.toString();
return p.endsWith(".xml") ||
p.endsWith(".xmi") ||
p.endsWith(".wsdl") ||
p.endsWith(".xhtml") ||
p.endsWith(".xsd") ||
Expand Down

0 comments on commit 2554661

Please sign in to comment.