'; }; // 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