\n", $output); } unset($output); // Render page render_page($user, $TAB, "extmodules/extmodules_update_module"); // Back uri $_SESSION["back"] = $_SERVER["REQUEST_URI"];