Merge pull request #9771 from timvandermeij/extension

Remove the `gulp extension` build target
This commit is contained in:
Tim van der Meij 2018-06-02 20:03:20 +02:00 committed by GitHub
commit 2921cc0eba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -413,8 +413,6 @@ gulp.task('default', function() {
}); });
}); });
gulp.task('extension', ['chromium']);
gulp.task('buildnumber', function (done) { gulp.task('buildnumber', function (done) {
console.log(); console.log();
console.log('### Getting extension build number'); console.log('### Getting extension build number');
@ -908,7 +906,7 @@ gulp.task('lib', ['buildnumber'], function () {
]); ]);
}); });
gulp.task('web-pre', ['generic', 'extension', 'jsdoc']); gulp.task('web-pre', ['generic', 'jsdoc']);
gulp.task('publish', ['generic'], function (done) { gulp.task('publish', ['generic'], function (done) {
var version = JSON.parse( var version = JSON.parse(