'; }; // If we're updating plugins, update those shown if (isset($_GET['updatedPlugins'])) { echo ""; } // Work out what plugins we'll need to set on a setInterval $onLoadExtras = ""; for ($i = 0; $i < count($ICEcoder["plugins"]); $i++) { if ($ICEcoder["plugins"][$i][5] != "") { $onLoadExtras .= ";ICEcoder.startPluginIntervals(" . $i . ",'" . $ICEcoder["plugins"][$i][3] . "','" . $ICEcoder["plugins"][$i][4] . "','" . $ICEcoder["plugins"][$i][5] . "')"; }; }; // If we're updating our plugins, clear existing setIntervals & the array refs, then start new ones if (isset($_GET['updatedPlugins'])) { ?>