Editing: platform_check.php