diff --git a/lib/exe/manifest.php b/lib/exe/manifest.php index d11bb531055ae637236a8f48b9f10590572fc1e3..e9a35289c0224d77021f7a54185a3ece3d4c0c7b 100644 --- a/lib/exe/manifest.php +++ b/lib/exe/manifest.php @@ -7,7 +7,7 @@ require_once(DOKU_INC . 'inc/init.php'); if (!actionOK('manifest')) { http_status(404, 'Manifest has been disabled in DokuWiki configuration.'); - return; + exit(); } $manifest = new \dokuwiki\Manifest();