1
0
Fork 0
mirror of https://github.com/sbrl/Pepperminty-Wiki.git synced 2024-11-22 04:23:01 +00:00
Pepperminty-Wiki/settings.fragment.php

68 lines
1.9 KiB
PHP
Raw Normal View History

<?php
/*
* Pepperminty Wiki
* ================
* Inspired by Minty Wiki by am2064
* Link: https://github.com/am2064/Minty-Wiki
2016-05-29 19:34:34 +00:00
*
* Credits:
* Code by @Starbeamrainbowlabs
2016-03-12 18:55:47 +00:00
* Parsedown - by erusev and others on github from http://parsedown.org/
2016-04-03 17:01:12 +00:00
* Mathematical Expression rendering
* Code: @con-f-use <https://github.com/con-f-use>
* Rendering: MathJax (https://www.mathjax.org/)
2015-01-05 18:53:44 +00:00
* Bug reports:
* #2 - Incorrect closing tag - nibreh <https://github.com/nibreh/>
* #8 - Rogue <datalist /> tag - nibreh <https://github.com/nibreh/>
*/
2016-06-12 20:06:27 +00:00
$guiConfig = <<<GUICONFIG
{guiconfig}
GUICONFIG;
$guiConfig = json_decode($guiConfig);
2015-04-09 14:13:07 +00:00
$settings = new stdClass();
2016-06-12 20:06:27 +00:00
if(!file_exists("peppermint.json"))
{
// Copy the default settings over to the main settings array
foreach ($guiConfig as $key => $value)
$settings->$key = $value->default
// Generate a random secret
$settings->secret = bin2hex(openssl_random_pseudo_bytes($bits));
file_put_contents("peppermint.json", json_encode($settings, JSON_PRETTY_PRINT));
}
else
$settings = json_decode(file_get_contents("peppermint.json"));
if($settings->css === "auto")
{
$settings->css = <<<THEMECSS
{defaults-css}
THEMECSS;
}
2016-01-23 11:27:44 +00:00
/*** Notes ***
Actions:
view - view a page
page - page name
printable=[yes/no] - make output printable
edit - open editor for page
page - page name
save - save edits to page
page - page name
list - list pages
category - the category to list [optional] [unimplemented]
login - login to the site
logout - logout
checklogin - check login credentials and set cookie
hash - hash a string with sha256
string - string to hash
help - get help
update - update the wiki
do - set to `true` to actually update the wiki
secret - set to the value of the site's secret
credits - view the credits
delete - delete a page
page - page name
delete=yes - actually do the deletion (otherwise we display a prompt)
2016-01-23 11:27:44 +00:00
*************/
?>