web - move playground out of sources

We will consume the playground from https://github.com/microsoft/vscode-web-playground going forward.
This commit is contained in:
Benjamin Pasero
2020-08-18 09:18:23 +02:00
parent 3d5b2fecf2
commit 4491427ac7
15 changed files with 47 additions and 4988 deletions

View File

@@ -275,7 +275,6 @@ export function packageLocalExtensionsStream(forWeb: boolean): Stream {
const extensionName = path.basename(extensionPath);
return { name: extensionName, path: extensionPath, manifestPath: absoluteManifestPath };
})
.filter(({ name }) => (name === 'vscode-web-playground' ? forWeb : true)) // package vscode-web-playground only for web
.filter(({ name }) => excludedExtensions.indexOf(name) === -1)
.filter(({ name }) => builtInExtensions.every(b => b.name !== name))
.filter(({ manifestPath }) => (forWeb ? isWebExtension(require(manifestPath)) : true))