From 32de419a88ec6e22fffec5999bd126472740e447 Mon Sep 17 00:00:00 2001
From: Tim van der Meij <timvandermeij@gmail.com>
Date: Sat, 2 Jun 2018 19:56:09 +0200
Subject: [PATCH] Remove the `gulp extension` build target

---
 gulpfile.js | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/gulpfile.js b/gulpfile.js
index 39f7607fe..588ffc9dc 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -413,8 +413,6 @@ gulp.task('default', function() {
   });
 });
 
-gulp.task('extension', ['chromium']);
-
 gulp.task('buildnumber', function (done) {
   console.log();
   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) {
   var version = JSON.parse(