original_docstring: 
          Migrate options in backend from a given version to current one.
  
          @param version: Version to migrate. Can be None if config does not exist or does not contain value for that option.
  
          @note: Called even when versions match.
          
docstring: Migrate options in backend from a given version to current one.
docstring_tokens: Migrate options in backend from a given version to current one .
code: def migrate(self, version):
          """
          Migrate options in backend from a given version to current one.
  
          @param version: Version to migrate. Can be None if config does not exist or does not contain value for that option.
  
          @note: Called even when versions match.
          """
          self.set_value(self.CONFIG_VERSION_OPTION_NAME, self.CONFIG_VERSION)
code_tokens: def migrate ( self , version ) : self . set_value ( self . CONFIG_VERSION_OPTION_NAME , self . CONFIG_VERSION )
short_docstring: Migrate options in backend from a given version to current one.
short_docstring_tokens: Migrate options in backend from a given version to current one .
comment: """
          Migrate options in backend from a given version to current one.
  
          @param version: Version to migrate. Can be None if config does not exist or does not contain value for that option.
  
          @note: Called even when versions match.
          """