From f7c3ea158aaad28aea233fb859403d3db27812c3 Mon Sep 17 00:00:00 2001
From: Crack <piotrprz@gmail.com>
Date: Fri, 6 Aug 2010 13:57:59 +0200
Subject: [PATCH] info about setup script in "manage your settings", it seems
 many people still don't know it exists

---
 prefs_manage.php | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/prefs_manage.php b/prefs_manage.php
index bd085593e..8d47e9039 100644
--- a/prefs_manage.php
+++ b/prefs_manage.php
@@ -259,6 +259,23 @@ PMA_printJsValue("PMA_messages['strSavedOn']", __('Saved on: __DATE__'));
                 <input type="submit" name="submit_import" value="<?php echo __('Go'); ?>" />
             </form>
         </div>
+        <?php
+        if (file_exists('./setup/index.php')) {
+            // show only if setup script is available, allows to disable this message
+            // by simply removing setup directory
+        ?>
+        <div class="group">
+            <h2><?php echo __('More settings') ?></h2>
+            <div class="group-cnt">
+                <?php
+                echo sprintf(__('You can set more settings by modifying config.inc.php, eg. by using %sSetup script%s.'), '<a href="setup/index.php">', '</a>');
+                echo PMA_showDocu('setup_script');
+                ?>
+            </div>
+        </div>
+        <?php
+        }
+        ?>
     </div>
     <div id="main_pane_right">
         <div class="group">