servers
/
ttrss
mirror of https://tt-rss.org/git/tt-rss.git
1
0
Fork 0
Code Issues Releases Wiki Activity

fix user plugins not saving properly in non-default profiles

This commit is contained in:
Andrew Dolgov 2018-12-26 22:04:35 +03:00
parent 55ef85adc0
commit 734af3357d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
classes/pref/prefs.php
View File

@ -735,7 +735,7 @@ class Pref_Prefs extends Handler_Protected {
<td width='10%'>".__('Author')."</td></tr>";
$system_enabled = array_map("trim", explode(",", PLUGINS));
$user_enabled = array_map("trim", explode(",", get_pref("_ENABLED_PLUGINS", $_SESSION['uid'])));
$user_enabled = array_map("trim", explode(",", get_pref("_ENABLED_PLUGINS")));
$tmppluginhost = new PluginHost();
$tmppluginhost->load_all($tmppluginhost::KIND_ALL, $_SESSION["uid"], true);
@ -973,7 +973,7 @@ class Pref_Prefs extends Handler_Protected {
else
$plugins = "";
set_pref("_ENABLED_PLUGINS", $plugins, $_SESSION["uid"]);
set_pref("_ENABLED_PLUGINS", $plugins);
}
function clearplugindata() {