Merge pull request #30008 from nextcloud/backport/30001/stable23

[stable23] Cast orphan subscription id to int

Author: ChristophWurst

apps/dav/lib/Migration/RemoveDeletedUsersCalendarSubscriptions.php

@@ -41,7 +41,8 @@ class RemoveDeletedUsersCalendarSubscriptions implements IRepairStep {
 	/** @var int */
 	private $progress = 0;
 
-	private $orphanSubscriptions = [];
+	/** @var int[] */
+	private $orphanSubscriptionIds = [];
 
 	private const SUBSCRIPTIONS_CHUNK_SIZE = 1000;
 
@@ -74,7 +75,7 @@ public function run(IOutput $output) {
 		$output->finishProgress();
 		$this->deleteOrphanSubscriptions();
 
-		$output->info(sprintf('%d calendar subscriptions without an user have been cleaned up', count($this->orphanSubscriptions)));
+		$output->info(sprintf('%d calendar subscriptions without an user have been cleaned up', count($this->orphanSubscriptionIds)));
 	}
 
 	/**
@@ -112,7 +113,7 @@ private function checkSubscriptions(): void {
 		while ($row = $result->fetch()) {
 			$username = $this->getPrincipal($row['principaluri']);
 			if (!$this->userManager->userExists($username)) {
-				$this->orphanSubscriptions[] = $row['id'];
+				$this->orphanSubscriptionIds[] = (int) $row['id'];
 			}
 		}
 		$result->closeCursor();
@@ -122,7 +123,7 @@ private function checkSubscriptions(): void {
 	 * @throws Exception
 	 */
 	private function deleteOrphanSubscriptions(): void {
-		foreach ($this->orphanSubscriptions as $orphanSubscriptionID) {
+		foreach ($this->orphanSubscriptionIds as $orphanSubscriptionID) {
 			$this->deleteOrphanSubscription($orphanSubscriptionID);
 		}
 	}