From 29213477073ebfda91548028f9fed3c9a7c2f99b Mon Sep 17 00:00:00 2001
From: gravel <qsj4di+aybgdjbxur7e8@sharklasers.com>
Date: Tue, 18 Apr 2023 13:28:24 +0200
Subject: [PATCH] Whitespace

---
 php/utils/servers-rooms.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/php/utils/servers-rooms.php b/php/utils/servers-rooms.php
index 8c003dda..de08dca9 100644
--- a/php/utils/servers-rooms.php
+++ b/php/utils/servers-rooms.php
@@ -269,7 +269,7 @@
 
 		/**
 		 * @var bool $merge_error
-		 * 
+		 *
 		 * Flag specifying whether the server is invalidated as a result of merging.
 		 */
 		private bool $merge_error = false;