diff options
| author | 2014-12-06 16:17:11 +0100 | |
|---|---|---|
| committer | 2014-12-06 16:17:11 +0100 | |
| commit | 2e4682ebd451f8dd291e11141553add9164cbbef (patch) | |
| tree | 006839fb0363530faf2a31b142dea58af80a2d87 /app/Models/Configuration.php | |
| parent | a08c382e0651f22a7db06feba225f3d49289763d (diff) | |
Add enable / disable extension features
See https://github.com/FreshRSS/FreshRSS/issues/252
Diffstat (limited to 'app/Models/Configuration.php')
| -rw-r--r-- | app/Models/Configuration.php | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/app/Models/Configuration.php b/app/Models/Configuration.php index 13ce43990..83a00d4bb 100644 --- a/app/Models/Configuration.php +++ b/app/Models/Configuration.php @@ -350,4 +350,16 @@ class FreshRSS_Configuration { } $this->data['extensions_enabled'] = $value; } + public function removeExtension($ext_name) { + $this->data['extensions_enabled'] = array_diff( + $this->data['extensions_enabled'], + array($ext_name) + ); + } + public function addExtension($ext_name) { + $found = array_search($ext_name, $this->data['extensions_enabled']) !== false; + if (!$found) { + $this->data['extensions_enabled'][] = $ext_name; + } + } } |
