From d2fa62d13d7312861846d36f2a78c8b3fea28c79 Mon Sep 17 00:00:00 2001
From: Joao Moreno <jomo@microsoft.com>
Date: Mon, 31 Oct 2016 11:27:40 +0100
Subject: cleanup extensions menu

fixes #14384
---
 gulpfile.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'gulpfile.js')

diff --git a/gulpfile.js b/gulpfile.js
index 5aa3bf0d4db..f82bdbf2bb5 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -58,7 +58,7 @@ var ALL_EDITOR_TASKS = [
 	'tslint',
 	'hygiene',
 ];
-var runningEditorTasks = process.argv.length > 2 && process.argv.slice(2).every(function(arg) { return (ALL_EDITOR_TASKS.indexOf(arg) !== -1); });
+var runningEditorTasks = process.argv.length > 2 && process.argv.slice(2).every(function (arg) { return (ALL_EDITOR_TASKS.indexOf(arg) !== -1); });
 
 if (runningEditorTasks) {
 	require(`./build/gulpfile.editor`);
@@ -67,5 +67,5 @@ if (runningEditorTasks) {
 	// Load all the gulpfiles only if running tasks other than the editor tasks
 	const build = path.join(__dirname, 'build');
 	require('glob').sync('gulpfile.*.js', { cwd: build })
-		.forEach(f => require(`./build/${ f }`));
+		.forEach(f => require(`./build/${f}`));
 }
\ No newline at end of file
-- 
cgit v1.2.3