diff --git a/modules/feature-history.php b/modules/feature-history.php index 090ed0f..82ea455 100644 --- a/modules/feature-history.php +++ b/modules/feature-history.php @@ -35,7 +35,7 @@ register_module([ switch($format) { case "html": - $content = "
A server error occurred when $settings->sitename tried to save the reversion of " . htmlentities($env->page) . "
. Please contact $settings->sitename's administrator $settings->admindetails_name, whose email address can be found at the bottom of every page (including this one).
A server error occurred when $settings->sitename tried to save the reversion of $env->page_safe
. Please contact $settings->sitename's administrator $settings->admindetails_name, whose email address can be found at the bottom of every page (including this one).
" . htmlentities($env->page) . " has been reverted back to revision {$env->history->revision_number} successfully.
+ exit(page_renderer::render_main("Reverting $env->page - $settings->sitename", "$env->page_safe has been reverted back to revision {$env->history->revision_number} successfully.
Go back to the page, or continue reviewing its history.
")); // $env->page_filename