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.