Write in plugin configuration files through pluginsadmin.html

[ArthurHoaro]

Fixes #464

By design, plugins/<plugin>/config.php overrides config.php for this specific plugin. But when you save settings in the plugin admin page, the plugin config file is not set (it only has effect on global config.php).

It's a bit complicated in index.php because plugin settings share the same array and I didn't want to change pluginsadmin.html and existing settings.

[virtualtam]

Not sure if it's a good idea to spread configuration over multiple files; this means users need to care about file/folder permissions for every installed/enabled plugin, instead of just the data folder.

Maybe it'd be worth raising an issue to switch to a plain INI file file and use a dedicated section for each plugin?

[ArthurHoaro]

Maybe it'd be worth raising an issue to switch to a plain INI file file and use a dedicated section for each plugin?

INI configuration files are not suited for configuration with array. If we had to move, I'd rather move to JSON or YAML. There was a PR about moving to YAML, which was finally not merged.

Not sure if it's a good idea to spread configuration over multiple files; this means users need to care about file/folder permissions for every installed/enabled plugin, instead of just the data folder.

Well, I agree. The downside is that it'll be slightly harder to have a default settings set, but definitely manageable. Should we open an issue to remove this feature?

[virtualtam]

Discussion opened @ #489 ;-)

[ArthurHoaro]

Pushed to 0.7 as the conf discussion is idling.