Followup r78118: $wgUpgradeKey was already in DefaultSettings, use Tim's better comment