Warn about missing mbstring and old PHP version.

ChangeLog

@@ -9,9 +9,12 @@ $Source$
     * lang/italian: update, thanks to Luca Rebellato
 
 2005-11-28 Michal Čihař  <michal@cihar.com>
-    * scripts/setup.php: Don't allow loading of configuration if there is no
-      write permission on config, add links to documentation, document all
-      functions.
+    * scripts/setup.php: 
+        - Don't allow loading of configuration if there is no write permission
+          on config.
+        - Add links to documentation.
+        - Document all functions.
+        - Warn about missing mbstring and old PHP version.
     * libraries/auth/cookie.auth.lib.php: Display PMA_errors on login form.
     * Documentation.html: Add anchors to configuration directives.
     * libraries/sqlparser.lib.php: Do not use functions not supported by older

scripts/setup.php

@@ -1402,6 +1402,12 @@ switch ($action) {
         break;
     case 'feat_extensions':
         $d = $cfg;
+        if (!@extension_loaded('mbstring')) {
+            PMA_dl('mbstring');
+        }
+        if (!@extension_loaded('mbstring')) {
+            message('warning', 'Could not load <code>mbstring</code> extension, which is required for work with multibyte strings like UTF-8 ones. Please consider installing it.');
+        }
         if (!isset($d['GD2Available'])) {
             if (PMA_IS_GD2 == 1) {
                 message('notice', 'GD 2 or newer found.');
@@ -1625,6 +1631,10 @@ switch ($action) {
     case '':
         message('notice', 'You want to configure phpMyAdmin using web interface. Please note that this only allows basic setup, please read <a href="../Documentation.html">documentation</a> to see full description of all configuration directives.', 'Welcome');
 
+        if (PMA_PHP_INT_VERSION < 40100) {
+            message('warning', 'Please upgrade to PHP 4.1.0, it is required for phpMyAdmin.');
+        }
+
         if (empty($_SERVER['HTTPS']) || strtolower($_SERVER['HTTPS']) == 'off') {
             if (empty($_SERVER['REQUEST_URI']) || empty($_SERVER['HTTP_HOST'])) {
                 $redir = '';