diff --git a/lib/plugins-manager.php b/lib/plugins-manager.php index 2687c4e..a954fe3 100644 --- a/lib/plugins-manager.php +++ b/lib/plugins-manager.php @@ -1,4 +1,5 @@ window.location='plugins-manager.php?updatedPlugins';"; + header("Location: plugins-manager.php?updatedPlugins&csrf=".$_SESSION["csrf"]); + echo ""; die('saving plugins...'); } else { echo ""; @@ -218,6 +219,7 @@ function deletePlugin($dir) { echo '