From 2d0b107adb033a287bc3972cf69c459e21d84ebe Mon Sep 17 00:00:00 2001 From: Shish Date: Thu, 26 Mar 2020 16:50:16 +0000 Subject: [PATCH] convert pool IDs to ints --- ext/pools/main.php | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/ext/pools/main.php b/ext/pools/main.php index dd4d887b..784526c3 100644 --- a/ext/pools/main.php +++ b/ext/pools/main.php @@ -600,7 +600,9 @@ class Pools extends Extension private function get_pool_ids(int $imageID): array { global $database; - return $database->get_col("SELECT pool_id FROM pool_images WHERE image_id=:iid", ["iid" => $imageID]); + $col = $database->get_col("SELECT pool_id FROM pool_images WHERE image_id=:iid", ["iid" => $imageID]); + $col = array_map('intval', $col); + return $col; } /**