diff options
| author | Andrew Dolgov <[email protected]> | 2017-06-24 14:29:07 +0300 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2017-06-24 14:29:07 +0300 |
| commit | e130b283a7803466eceb1c877b641d4457114de5 (patch) | |
| tree | 3956896e262ad35c04be6557cd1ce8c969bcde01 /classes/pref/prefs.php | |
| parent | 93af11cb7a0b85766186df4f58682b51cb7d8315 (diff) | |
db prefs: ignore cache when preference requested for specified UID (in case cached value of a different profile is stored)
prefs: show (and set) enabled plugins for default profile only
Diffstat (limited to 'classes/pref/prefs.php')
| -rw-r--r-- | classes/pref/prefs.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php index 0e58a34e2..f003ba027 100644 --- a/classes/pref/prefs.php +++ b/classes/pref/prefs.php @@ -739,7 +739,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"))); + $user_enabled = array_map("trim", explode(",", get_pref("_ENABLED_PLUGINS", $_SESSION['uid']))); $tmppluginhost = new PluginHost(); $tmppluginhost->load_all($tmppluginhost::KIND_ALL, $_SESSION["uid"], true); @@ -949,7 +949,7 @@ class Pref_Prefs extends Handler_Protected { else $plugins = ""; - set_pref("_ENABLED_PLUGINS", $plugins); + set_pref("_ENABLED_PLUGINS", $plugins, $_SESSION["uid"]); } function clearplugindata() { |