Update platforms.php