CiviCRM Upgrade after 4.0: do I need to update civicrm.settings.php?
No, those settings should already be in your civicrm.settings.php - but it would only take a moment to check your file and ensure the values on the wiki page are there.