From 798ca38dd25ab67d7bed4e5a0dd09509c13e7ba4 Mon Sep 17 00:00:00 2001
From: Mischa Braam <mischa.braam@iodigital.com>
Date: Fri, 16 Feb 2024 13:43:24 +0100
Subject: [PATCH] Mute php extension already uninstalled

---
 cli/ValetPlus/PhpExtension.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/cli/ValetPlus/PhpExtension.php b/cli/ValetPlus/PhpExtension.php
index 9060541e..00b25559 100644
--- a/cli/ValetPlus/PhpExtension.php
+++ b/cli/ValetPlus/PhpExtension.php
@@ -152,8 +152,6 @@ public function uninstallExtensions($phpVersion, $phpIniConfigPath)
     public function uninstallExtension($extension, $phpVersion, $phpIniConfigPath)
     {
         if (!$this->isInstalled($extension, $phpVersion)) {
-            output("\t$extension is already uninstalled, skipping...");
-
             return false;
         }