#840 Update update.php