fix(CI): Add stub for circles events

Signed-off-by: Joas Schilling <coding@schilljs.com>

2 files changed, 28 insertions, 0 deletions

diff --git a/psalm.xml b/psalm.xml
index 55fa36d02..4a0454cdd 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -89,6 +89,7 @@
 		<file name="tests/stubs/oc_comments_manager.php" />
 		<file name="tests/stubs/oc_core_command_base.php" />
 		<file name="tests/stubs/oc_hooks_emitter.php" />
+		<file name="tests/stubs/oca_circles.php" />
 		<file name="tests/stubs/GuzzleHttp_Exception_ClientException.php" />
 		<file name="tests/stubs/GuzzleHttp_Exception_ConnectException.php" />
 		<file name="tests/stubs/GuzzleHttp_Exception_ServerException.php" />
diff --git a/tests/stubs/oca_circles.php b/tests/stubs/oca_circles.php
new file mode 100644
index 000000000..5d35bbbdc
--- /dev/null
+++ b/tests/stubs/oca_circles.php
@@ -0,0 +1,27 @@
+<?php
+
+namespace OCA\Circles\Events {
+
+	use OCA\Circles\Model\Circle;
+	use OCA\Circles\Model\Member;
+	use OCP\EventDispatcher\Event;
+
+	class AddingCircleMemberEvent extends Event {
+		public function getCircle(): Circle {
+		}
+		public function getMember(): Member {
+		}
+	}
+
+	class CircleDestroyedEvent extends Event {
+		public function getCircle(): Circle {
+		}
+	}
+
+	class RemovingCircleMemberEvent extends Event {
+		public function getCircle(): Circle {
+		}
+		public function getMember(): Member {
+		}
+	}
+}