mirror of
https://github.com/microsoft/vscode.git
synced 2025-12-24 20:26:08 +00:00
download extensions at build time
This commit is contained in:
23
build/lib/typings/gulp-remote-src.d.ts
vendored
Normal file
23
build/lib/typings/gulp-remote-src.d.ts
vendored
Normal file
@@ -0,0 +1,23 @@
|
||||
declare module 'gulp-remote-src' {
|
||||
|
||||
import stream = require("stream");
|
||||
|
||||
function remote(url: string, options: remote.IOptions): stream.Stream;
|
||||
|
||||
module remote {
|
||||
export interface IRequestOptions {
|
||||
body?: any;
|
||||
json?: boolean;
|
||||
method?: string;
|
||||
headers?: any;
|
||||
}
|
||||
|
||||
export interface IOptions {
|
||||
base?: string;
|
||||
buffer?: boolean;
|
||||
requestOptions?: IRequestOptions;
|
||||
}
|
||||
}
|
||||
|
||||
export = remote;
|
||||
}
|
||||
Reference in New Issue
Block a user