<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2013/6/15 Rouslan Placella <span dir="ltr"><<a href="mailto:rouslan@placella.com" target="_blank">rouslan@placella.com</a>></span><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div class=""><div class="h5">On 06/14/2013 09:01 PM, Mohamed Ashraf wrote:<br>
> On Friday, June 14, 2013 at 9:10 PM, Rouslan Placella wrote:<br>
>> On 06/14/2013 10:44 AM, Mohamed Ashraf wrote:<br>
>>> On Fri, Jun 14, 2013 at 10:33 AM, Dieter Adriaenssens<br>
>>> <<a href="mailto:dieter.adriaenssens@gmail.com">dieter.adriaenssens@gmail.com</a>> wrote:<br>
>>>> Yes, that's correct.<br>
>>>> The new setting should also be documented in the docfile<br>
>>>> doc/config.rst and be added to the setup script (as Rouslan<br>
>>>> mentioned).<br>
>>><br>
>>> I read the files in the setup directory however I am not sure how to<br>
>>> add my setting to the setup script. there seems to be some way the<br>
>>> forms are automatically generated however I do not seem to be able to<br>
>>> reverse engineer it.<br>
>><br>
>> You don't need to reverse engineer anything. In fact, you probably don't<br>
>> need to understand how the setup scripts work that much.<br>
>><br>
>> The procedure that I would take would be:<br>
>><br>
>> * Find a configuration variable that exists in the setup, but not in the<br>
>> user preferences. Let's take $cfg['RecodingEngine']<br>
>> * grep for it (eg: git grep RecodingEngine)<br>
>> * Look in all files whose names sound like they have something to do<br>
>> with the configuration.<br>
>> * See where the RecodingEngine variable appears in these files<br>
>> * Copy + paste + edit<br>
>> * Check if it works<br>
>><br>
>> Hope this helps.<br>
>><br>
> Thanks I had already figuered it out. However I am not sure about the<br>
> difference between the settings in user preferences which use the cookie<br>
> as storage and the config.inc.php ones since they are both in the $cfg<br>
> variable. If they share a single variable name who gets preference.<br>
<br>
</div></div>User preferences are saved to localStorage or PMA configuration storage,<br>
no cookies involved. And AFAIK user preferences can override config.inc.php.<br>
<br>
Bye,<br>
Rouslan<br>
<br></blockquote><div><br></div><div>User preferences are stored in PMA configuration storage or in user session (then they are lost when session expires). They can be backed up and restored from localStorage.<br><br></div>
<div>All options available in setup script are defined in setup.forms.php, and all options that can be changed by users are stored in user_preferences.forms.php (unless an option is excluded by UserprefsDisallow array - then users can't change it).<br>
<br>-- <br></div><div>Regards,<br></div><div>Piotr Przybylski<br></div></div></div></div>