Re: [development] options in update.php?