diff --git a/lib/upgradelib.php b/lib/upgradelib.php
index 6b94aef3c01..54001fc90ee 100644
--- a/lib/upgradelib.php
+++ b/lib/upgradelib.php
@@ -2453,6 +2453,12 @@ function upgrade_install_plugins(array $installable, $confirmed, $heading='', $c
  */
 function check_libcurl_version(environment_results $result) {
 
+    if (!function_exists('curl_version')) {
+        $result->setInfo('cURL PHP extension is not installed');
+        $result->setStatus(false);
+        return $result;
+    }
+
     // Supported version and version number.
     $supportedversion = 0x071304;
     $supportedversionstring = "7.19.4";