Check extension_dir before installing a PHP extension

mlocati · Oct 21, 2019 · 86a088c · 86a088c
1 parent 7f02fbb
commit 86a088c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/PhpManager/public/Install-PhpExtension.ps1 b/PhpManager/public/Install-PhpExtension.ps1
@@ -50,6 +50,12 @@
         } else {
             $phpVersion = [PhpVersionInstalled]::FromPath($Path)
         }
+        if ($phpVersion.ExtensionsPath -eq '') {
+            throw 'The PHP extension directory is not configured. You may need to set the extension_dir setting in the php.ini file'
+        }
+        if (-Not(Test-Path -LiteralPath $phpVersion.ExtensionsPath -PathType Container)) {
+            throw "The PHP extension directory ""$($phpVersion.ExtensionsPath)"" configured in your php.ini does not exist. You may need to create it, or fix the extension_dir setting in the php.ini file."
+        }
         $tempFolder = $null
         try {
             if (Test-Path -Path $Extension -PathType Leaf) {