exit(page_renderer::render_main("Setup complete - Error - $settings->sitename","<p>Oops! Looks like $settings->sitename is already setup and ready to go! Go to the <a href='?action=$settings->defaultaction&page=".rawurlencode($settings->defaultpage)."'>".htmlentities($settings->defaultpage)."</a> to get started!</p>"));
exit(page_renderer::render_main("Build error - Pepperminty Wiki","<p>The <code>page-login</code> wasn't included in this build of Pepperminty Wiki, so the first-run installation wizard will not work correctly.</p>
error_log("[PeppermintyWiki/firstrun] Warning: The public peppermint.json access check has been disabled (either manually or because you're using a local PHP development server with php -S ....). It's strongly recommended you ensure that access from outside is blocked to peppermint.json to avoid (many) security issues and other nastiness such as stealing of site secrets and password hashes.");
exit(page_renderer::render_main("Setup complete - Error - $settings->sitename","<p>Oops! Looks like $settings->sitename is already setup and ready to go! Go to the <a href='?action=$settings->defaultaction&page=".rawurlencode($settings->defaultpage)."'>".htmlentities($settings->defaultpage)."</a> to get started!</p>"));
exit(page_renderer::render_main("Incorrect secret - Pepperminty Wiki","<p>Oops! That secret was incorrect. Open <code>peppermint.json</code> that is automatically written to the directory alongside the <code>index.php</code> that you uploaded to your web server and copy the value of the <code>secret</code> property into the wiki secret box on the previous page, taking care to avoid copying the quotation marks.</p>"));
exit(page_renderer::render_main("Missing information - Error - Pepperminty Wiki","<p>Oops! Looks like you forgot to enter a username. Try going back in your browser and filling one in.</p>"));
exit(page_renderer::render_main("Missing information - Error - Pepperminty Wiki","<p>Oops! Looks like you forgot to enter an email address. Try going back in your browser and filling one in.</p>"));
exit(page_renderer::render_main("Invalid email address - Error - Pepperminty Wiki","<p>Oops! Looks like that email address isn't valid. Try going back in your browser and correcting it.</p>"));
exit(page_renderer::render_main("Missing information - Error - Pepperminty Wiki","<p>Oops! Looks like you forgot to enter a password. Try going back in your browser and filling one in.</p>"));
exit(page_renderer::render_main("Password mismatch - Error - Pepperminty Wiki","<p>Oops! Looks like the passwords you entered aren't the same. Try going back in your browser and entering it again.</p>"));
exit(page_renderer::render_main("Missing information - Error - Pepperminty Wiki","<p>Oops! Looks like you forgot to enter a name for your wiki. Try going back in your browser and filling one in.</p>"));
exit(page_renderer::render_main("Missing information - Error - Pepperminty Wiki","<p>Oops! Looks like you forgot to enter a directory on the server to store the wiki's data in. Try going back in your browser and filling one in. Relative paths are ok - the default is <code>.</code> (i.e. the current directory).</p>"));
exit(page_renderer::render_main("Server Error - Pepperminty Wiki","<p>Oops! Pepperminty Wiki was unable to save your settings back to disk. This can happen if Pepperminty Wiki does not have write permissions on it's own directory and the files contained within (except <code>index.php</code> of course).</p>