Missing UserprefsDeveloperTab doc

2011-09-04 08:26:21 -04:00
parent 1b5461dc75
commit 2694b3dae0
1 changed files with 4 additions and 0 deletions
--- a/Documentation.html
+++ b/Documentation.html
@@ -2163,6 +2163,10 @@ setfacl -d -m "g:www-data:rwx" tmp
        that users can't set through user preferences. For possible values, refer
        to <tt>libraries/config/user_preferences.forms.php</tt>.</dd>

+    <dt id="cfg_UserprefsDeveloperTab">$cfg['UserprefsDeveloperTab'] boolean</dt>
+    <dd>Activates in the user preferences a tab containing options for 
+        developers of phpMyAdmin.</dd>
+
    <dt id="cfg_TitleTable">$cfg['TitleTable'] string</dt>
    <dt id="cfg_TitleDatabase">$cfg['TitleDatabase'] string</dt>
    <dt id="cfg_TitleServer">$cfg['TitleServer'] string</dt>