Add .plist to list of extensions for Xml (#292)

semgrep · Sep 19, 2024 · bc03844 · bc03844
1 parent 41b0231
commit bc03844
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/Language.ml b/Language.ml
@@ -624,7 +624,7 @@ let list = [
   id_string = "xml";
   name = "XML";
   keys = [{|xml|}];
-  exts = [{|.xml|}];
+  exts = [{|.xml|}; {|.plist|}];
   maturity = Alpha;
   example_ext = Some {|.xml|};
   excluded_exts = [];

diff --git a/generate.py b/generate.py
@@ -598,7 +598,7 @@ def to_json(self):
         id_="xml",
         name="XML",
         keys=["xml"],
-        exts=[".xml"],
+        exts=[".xml", ".plist"],
         example_ext=".xml",
         maturity=Maturity.ALPHA,
         shebangs=[]

diff --git a/lang.json b/lang.json
@@ -818,7 +818,8 @@
     ],
     "maturity": "alpha",
     "exts": [
-      ".xml"
+      ".xml",
+      ".plist"
     ],
     "example_ext": ".xml",
     "excluded_exts": [],