diff --git a/Documentation.html b/Documentation.html index 844dd7d34..1217c2d6b 100644 --- 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 libraries/config/user_preferences.forms.php. +
$cfg['UserprefsDeveloperTab'] boolean
+
Activates in the user preferences a tab containing options for + developers of phpMyAdmin.
+
$cfg['TitleTable'] string
$cfg['TitleDatabase'] string
$cfg['TitleServer'] string