"description"=>"Adds a page that you can use to export your wiki as a .zip file. Uses \$settings->export_only_allow_admins, which controls whether only admins are allowed to export the wiki.",
exit(page_renderer::render("Export error - $settings->sitename","Only administrators of $settings->sitename are allowed to export the wiki as a zip. <a href='?action=$settings->defaultaction&page='>Return to the ".htmlentities($settings->defaultpage)."</a>."));
exit(page_renderer::render("Export error - $settings->sitename","Pepperminty Wiki was unable to open a temporary file to store the exported data in. Please contact $settings->sitename's administrator (".htmlentities($settings->admindetails_name)." at ".hide_email($settings->admindetails_email).") for assistance."));
exit(page_renderer::render("Export error - $settings->sitename","Pepperminty wiki was unable to close the temporary zip file after creating it. Please contact $settings->sitename's administrator (".htmlentities($settings->admindetails_name)." at ".hide_email($settings->admindetails_email).") for assistance (this might be a bug)."));
add_help_section("50-export","Exporting","<p>$settings->sitename supports exporting the entire wiki's content as a zip. Note that you may need to be a moderator in order to do this. Also note that you should check for permission before doing so, even if you are able to export without asking.</p>