Merge pull request #302 from gergelypolonkai/event-parent

Add event as a parent for all event types

event-schemas/schema/m.presence

@@ -2,6 +2,9 @@
     "type": "object",
     "title": "Presence Event",
     "description": "Informs the client of a user's presence state change.",
+    "allOf": [{
+        "$ref": "core-event-schema/event.yaml"
+    }],
     "properties": {
         "content": {
             "type": "object",

event-schemas/schema/m.receipt

@@ -2,6 +2,9 @@
     "type": "object",
     "title": "Receipt Event",
     "description": "Informs the client of new receipts.",
+    "allOf": [{
+        "$ref": "core-event-schema/event.yaml"
+    }],
     "properties": {
         "content": {
             "type": "object",

event-schemas/schema/m.tag

@@ -2,6 +2,9 @@
   "type": "object",
   "title": "Tag Event",
   "description": "Informs the client of tags on a room.",
+  "allOf": [{
+    "$ref": "core-event-schema/event.yaml"
+  }],
   "properties": {
     "type": {
       "type": "string",

event-schemas/schema/m.typing

@@ -2,6 +2,9 @@
     "type": "object",
     "title": "Typing Event",
     "description": "Informs the client of the list of users currently typing.",
+    "allOf": [{
+        "$ref": "core-event-schema/event.yaml"
+    }],
     "properties": {
         "content": {
             "type": "object",