EntityRepository::count returns positive int - fixes #603

phpstan · Aug 20, 2024 · a9bb990 · a9bb990
1 parent 6632f38
commit a9bb990
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/stubs/EntityRepository.stub b/stubs/EntityRepository.stub
@@ -71,4 +71,11 @@ class EntityRepository implements ObjectRepository
 	 */
 	public function createQueryBuilder($alias, $indexBy = null);
 
+	/**
+	 * @param array<string, mixed> $criteria
+	 *
+	 * @return int<0, max>
+	 */
+	public function count(array $criteria);
+
 }