[Phpmyadmin-devel] Piotr's tree: suggestion

[Marc Delisle]

Piotr Przybylski a écrit :

>> Also I don't understand your reference to array_merge() in
>> config.default.php. I believe someone would just list which prefs he
>> wants to disallow, in config.inc.php, in a neat list of array elements,
>> right?
> 
> I want to make sure that if any option gets added there in
> config.default.php, user's config.inc.php will remain valid.
> 
> Another solution I can think of is to add a new config option, which
> would allow to enable Developer tab without using UserprefsDisallow.
> Should I do that?
> 

Things are starting to get complex and I'm starting to regret suggesting
this feature :)

Let's take a step back for a minute. I don't see the point of hiding the
Features/Developer tab, therefore I don't see the necessity of putting
these values by default in UserprefsDisallow.

-- 
Marc Delisle
http://infomarc.info