From 2694b3dae0e8c8feeb0c67f0c7606c351443fe42 Mon Sep 17 00:00:00 2001 From: Marc Delisle Date: Sun, 4 Sep 2011 08:26:21 -0400 Subject: [PATCH] Missing UserprefsDeveloperTab doc --- Documentation.html | 4 ++++ 1 file changed, 4 insertions(+) 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