diff options
| author |  Alexis Degrugillier <aledeg@users.noreply.github.com>
| 2021-02-08 16:47:09 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2021-02-08 22:47:09 +0100 |
| commit | 54f04e1233b59f1b62c8a79060b59c786a142792 (patch) | |
| tree | d660fd7f84abe6d94904e13a980c0a8317f889d2 /lib | |
| parent | a626e5fff8d1cfcc7280396bd8b17b177b6345d2 (diff) | |
Fix configuration local cache (#3431)
Before, setting values did not refresh the configuration cache. Thus
generating some weird behavior when configuring extensions.
Now, the cache is updated with the most recent values when the
configuration is modified.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Minz/Extension.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Minz/Extension.php b/lib/Minz/Extension.php index 062463897..6807e0b76 100644 --- a/lib/Minz/Extension.php +++ b/lib/Minz/Extension.php @@ -265,6 +265,8 @@ abstract class Minz_Extension { FreshRSS_Context::$user_conf->{$this->config_key} = $extensions; FreshRSS_Context::$user_conf->save(); + + $this->user_configuration = $configuration; } public function removeUserConfiguration(){ @@ -283,5 +285,7 @@ abstract class Minz_Extension { FreshRSS_Context::$user_conf->{$this->config_key} = $extensions; FreshRSS_Context::$user_conf->save(); + + $this->user_configuration = null; } } |