diff --git a/Documentation.html b/Documentation.html
index 35863f59f4..e4e8bca112 100644
--- a/Documentation.html
+++ b/Documentation.html
@@ -2262,6 +2262,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>