···

       
116
       
 
       


     

       
117
       
 
       
  res.push(...(await loadDetectedExtensions(getCoreExtensionsPath(), ExtensionLoadSource.Core, seen)));

     

       
118
       
 
       


     

       
119
       
-
       
  res.push(...(await loadDetectedExtensions(await getExtensionsPath(), ExtensionLoadSource.Normal, seen)));

     

       
120
       
-
       


     

       
121
       
 
       
  for (const devSearchPath of config.devSearchPaths ?? []) {

     

       
122
       
 
       
    res.push(...(await loadDetectedExtensions(devSearchPath, ExtensionLoadSource.Developer, seen)));

     

       
123
       
 
       
  }

     

       
0
       
 
       

     

       
0
       
 
       

     

       
124
       
 
       


     

       
125
       
 
       
  return res;

     

       
126
       
 
       
}

     

···

       
116
       
 
       


     

       
117
       
 
       
  res.push(...(await loadDetectedExtensions(getCoreExtensionsPath(), ExtensionLoadSource.Core, seen)));

     

       
118
       
 
       


     

       
0
       
 
       

     

       
0
       
 
       

     

       
119
       
 
       
  for (const devSearchPath of config.devSearchPaths ?? []) {

     

       
120
       
 
       
    res.push(...(await loadDetectedExtensions(devSearchPath, ExtensionLoadSource.Developer, seen)));

     

       
121
       
 
       
  }

     

       
122
       
+
       


     

       
123
       
+
       
  res.push(...(await loadDetectedExtensions(await getExtensionsPath(), ExtensionLoadSource.Normal, seen)));

     

       
124
       
 
       


     

       
125
       
 
       
  return res;

     

       
126
       
 
       
}