installer: mention lack of curl

diff --git a/install/index.php b/install/index.php
index 6e141f077c3c7c7884aefa72a8b4842f20a989ef..3deb7ad23575d14404871f5c46e9315d95661a30 100644 (file)
--- a/install/index.php
+++ b/install/index.php
@@ -283,9 +283,27 @@
                        exit;
                }
 
-       ?>
+               $notices = array();
+
+               if (!function_exists("curl_init")) {
+                       array_push($notices, "It is highly recommended to enable support for CURL in PHP.");
+               }
+
+               if (count($notices) > 0) {
+                       print_notice("Configuration check succeeded with minor problems:");
+
+                       print "<ul>";
 
-       <?php print_notice("Configuration check succeeded."); ?>
+                       foreach ($notices as $notice) {
+                               print "<li>$notice</li>";
+                       }
+
+                       print "</ul>";
+               } else {
+                       print_notice("Configuration check succeeded.");
+               }
+
+       ?>
 
        <h2>Checking database</h2>