$rentry) { if (preg_match('/_gregarius_plugin.([a-zA-Z0-9_\/\-]+).php/',$rkey,$matches)) { $active_plugins[] = ($matches[1] .".php"); } } $value = serialize($active_plugins); $sql = "update " . getTable('config') . " set value_='$value' where key_='rss.config.plugins'"; rss_query($sql); rss_invalidate_cache(); // deactivate $to_deactivate = array_diff($old_active_plugins, $active_plugins); foreach($to_deactivate as $deactivatethis) { rss_load_plugin($deactivatethis); rss_plugin_hook("rss.plugins.admin.deactivate", "", $deactivatethis); } //activate $to_activate = array_diff($active_plugins, $old_active_plugins); foreach($to_activate as $activatethis) { rss_load_plugin($activatethis); rss_plugin_hook("rss.plugins.admin.activate", "", $activatethis); } } else { $active_plugins = getConfig('rss.config.plugins'); } // Check for updates $doUpdates = false; $updates = array(); if (isset($_POST['admin_plugin_check_for_updates'])) { $updates = plugins_check_for_updates(); $doUpdates = true; } // Rendering echo "
Plugins are third-party scripts that offer extended functionalities. More plugins can be downloaded at the Plugin Repository.
'); echo "\n"; echo "