sbrl-github/Pepperminty-Wiki
sbrl-github/Pepperminty-Wiki
1
0
Fork 0
mirror of https://github.com/sbrl/Pepperminty-Wiki.git synced 2024-11-22 16:33:00 +00:00
Code Activity

Correct spelling of Syntaxtic

Browse source
This commit is contained in:
Starbeamrainbowlabs 2015-09-30 07:09:56 +01:00
parent 756814a160
commit c10e0fbe29
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
build/index.php
View file

@ -533,7 +533,7 @@ else
$pageindex = json_decode(file_get_contents("./pageindex.json")); $pageindex = json_decode(file_get_contents("./pageindex.json"));
} }
// Work around an Opera + Syntastic bug where there is no margin at the left hand side if there isn't a query string when accessing a .php file // Work around an Opera + Syntaxtic bug where there is no margin at the left hand side if there isn't a query string when accessing a .php file
if(!isset($_GET["action"]) and !isset($_GET["page"])) if(!isset($_GET["action"]) and !isset($_GET["page"]))
{ {
http_response_code(302); http_response_code(302);
@ -901,7 +901,7 @@ register_module([
$state = ($pageindex->$page->protect ? "enabled" : "disabled"); $state = ($pageindex->$page->protect ? "enabled" : "disabled");
$title = "Page protection $state."; $title = "Page protection $state.";
exit(page_renderer::render_main($title, "<p>Page protection for $env->page has been $state.</p>")); exit(page_renderer::render_main($title, "<p>Page protection for $env->page has been $state.</p><p><a href='?action=$env->defaultaction&page=$env->page'>Go back</a>."));
} }
else else
{ {

2
core.php
View file

@ -300,7 +300,7 @@ else
$pageindex = json_decode(file_get_contents("./pageindex.json")); $pageindex = json_decode(file_get_contents("./pageindex.json"));
} }
// Work around an Opera + Syntastic bug where there is no margin at the left hand side if there isn't a query string when accessing a .php file // Work around an Opera + Syntaxtic bug where there is no margin at the left hand side if there isn't a query string when accessing a .php file
if(!isset($_GET["action"]) and !isset($_GET["page"])) if(!isset($_GET["action"]) and !isset($_GET["page"]))
{ {
http_response_code(302); http_response_code(302);