gulpfile: installed_extensions.php