Statistics: add filters for platform

assets/themes/mapcomplete-changes/mapcomplete-changes.proto.json

@@ -182,6 +182,26 @@
             }
           ]
         },
+        {
+          "id": "platform",
+          "question": {
+            "en": "With what platform was the change made?"
+          },
+          "mappings": [
+            {
+              "if": "android=",
+              "then": {
+                "en": "Made on the web"
+              }
+            },
+            {
+              "if": "android=yes",
+              "then": {
+                "en": "Made with the android app"
+              }
+            }
+          ]
+        },
         {
           "id": "version",
           "question": {
@@ -403,6 +423,28 @@
             }
           ]
         },
+        {
+          "id": "platform",
+          "options": [
+            {
+              "question": {
+                "en": "All platforms"
+              }
+            },
+            {
+              "question": {
+                "en": "Made with Android"
+              },
+              "osmTags": "android=yes"
+            },
+            {
+              "question": {
+                "en": "Made on the web"
+              },
+              "osmTags": "android="
+            }
+          ]
+        },
         {
           "id": "added-image",
           "options": [