Update index.php

Co-authored-by: Jyrki Gadinger <[email protected]>
Signed-off-by: Rello <[email protected]>

Author: Rello

index.php

@@ -75,8 +75,8 @@
 $isSparkle = isset($_GET['sparkle']) ? true : false;
 $isFileProvider = isset($_GET['fileprovider']) ? true : false;
 // due to a bug in an old version, the channels were translated. we need to catch them again
-$channel = isset($_GET['channel']) && in_array($_GET['channel'], $allowedChannels, true)
-	? $_GET['channel']
+$channel = isset($_GET['channel']) && in_array((string)$_GET['channel'], $allowedChannels, true)
+	? (string)$_GET['channel']
 	: 'stable';
 
 $osRelease = isset($_GET['osRelease']) ? (string)$_GET['osRelease'] : '';