message: Temp fix for unused obsolete config check method
diff: @@ -25,9 +25,8 @@ import {SectionNodeProvider} from './providers/structure'
  import {DefinitionProvider} from './providers/definition'
  import {LatexFormatterProvider} from './providers/latexformatter'
  -function obsoleteConfigCheck() {
  - const configuration = vscode.workspace.getConfiguration('latex-workshop')
  function renameConfig(originalConfig: string, newConfig: string) {
  + const configuration = vscode.workspace.getConfiguration('latex-workshop')
  if (!configuration.has(originalConfig)) {
  return
  }
  @@ -41,6 +40,9 @@ function obsoleteConfigCheck() {
  configuration.update(originalConfig, undefined, false)
  }
  }
  +
  +function obsoleteConfigCheck() {
  + renameConfig('placeholder', '')
  }
  function conflictExtensionCheck() {
  