diff options
| author |  Alexis Degrugillier <aledeg@users.noreply.github.com>
| 2021-02-02 06:40:03 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2021-02-02 12:40:03 +0100 |
| commit | 36f9d44d540c32e092e4511beef44a44453db84d (patch) | |
| tree | be4091a719b9bda36b629a828cedeb28f924e59f /p/ext.php | |
| parent | 1ee1fcce91d64c8cee6b8621aaedbdeae0c9c330 (diff) | |
Fix user configuration in extension (#3412)
Before, only one extension could be configured at a time. Thus we
were loosing the configuration for other extensions when saving.
Now, each extension can be saved without overriding data.
See #3397
Diffstat (limited to 'p/ext.php')
0 files changed, 0 insertions, 0 deletions