diff --git a/index.php b/index.php
index 9785c419..67290f6f 100644
--- a/index.php
+++ b/index.php
@@ -1815,7 +1815,7 @@ HTML;
);
// TODO: do not handle exceptions/errors in JS.
- echo '';
+ echo '';
exit;
}
header('Location: ?do='. Router::$PAGE_PLUGINSADMIN);