From 58e69fdd0e2685f28fea601e1d95cad4fe39112c Mon Sep 17 00:00:00 2001
From: Marco <marco@delight.im>
Date: Thu, 15 Mar 2018 23:32:15 +0100
Subject: [PATCH] Do not pass 'null' to 'count' which triggers a warning since
 PHP 7.2

---
 src/Administration.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Administration.php b/src/Administration.php
index 2e85afe..75c33c2 100644
--- a/src/Administration.php
+++ b/src/Administration.php
@@ -510,7 +510,7 @@ final class Administration extends UserManager {
 			throw new DatabaseError();
 		}
 
-		$numberOfMatchingUsers = \count($users);
+		$numberOfMatchingUsers = ($users !== null) ? \count($users) : 0;
 
 		if ($numberOfMatchingUsers === 1) {
 			$user = $users[0];