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 04:23:01 +00:00
Code Activity

{settings} -> //{settings} for phpDocumentor

Browse source
This commit is contained in:
Starbeamrainbowlabs 2017-09-15 17:30:35 +01:00
parent 6fd99e5b82
commit 891143b80a
4 changed files with 12 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
build/index.php
View file

@ -595,6 +595,7 @@ function glob_recursive($pattern, $flags = 0)
/** /**
* Gets the name of the parent page to the specified page. * Gets the name of the parent page to the specified page.
* @since 0.15
* @param string $pagename The child page to get the parent * @param string $pagename The child page to get the parent
* page name for. * page name for.
* @return string|bool * @return string|bool
@ -1186,6 +1187,9 @@ if(!file_exists($paths->idindex))
$idindex_decode_start = microtime(true); $idindex_decode_start = microtime(true);
$idindex = json_decode(file_get_contents($paths->idindex)); $idindex = json_decode(file_get_contents($paths->idindex));
$env->perfdata->idindex_decode_time = round((microtime(true) - $idindex_decode_start)*1000, 3); $env->perfdata->idindex_decode_time = round((microtime(true) - $idindex_decode_start)*1000, 3);
/**
* Provides an interface to interact with page ids.
*/
class ids class ids
{ {
/* /*

5
core.php
View file

@ -2,7 +2,7 @@
$start_time = microtime(true); $start_time = microtime(true);
mb_internal_encoding("UTF-8"); mb_internal_encoding("UTF-8");
{settings} //{settings}
///////////////////////////////////////////////////////////////////////////// /////////////////////////////////////////////////////////////////////////////
////// Do not edit below this line unless you know what you are doing! ////// ////// Do not edit below this line unless you know what you are doing! //////
@ -820,6 +820,9 @@ if(!file_exists($paths->idindex))
$idindex_decode_start = microtime(true); $idindex_decode_start = microtime(true);
$idindex = json_decode(file_get_contents($paths->idindex)); $idindex = json_decode(file_get_contents($paths->idindex));
$env->perfdata->idindex_decode_time = round((microtime(true) - $idindex_decode_start)*1000, 3); $env->perfdata->idindex_decode_time = round((microtime(true) - $idindex_decode_start)*1000, 3);
/**
* Provides an interface to interact with page ids.
*/
class ids class ids
{ {
/* /*

2
module_index.json
View file

@ -248,7 +248,7 @@
"author": "Starbeamrainbowlabs", "author": "Starbeamrainbowlabs",
"description": "Allows you to view pages. You really should include this one.", "description": "Allows you to view pages. You really should include this one.",
"id": "page-view", "id": "page-view",
"lastupdate": 1505491607, "lastupdate": 1505491849,
"optional": false "optional": false
}, },
{ {

2
pack.php
View file

@ -38,7 +38,7 @@ $core = file_get_contents("core.php");
$settings = file_get_contents("settings.fragment.php"); $settings = file_get_contents("settings.fragment.php");
$settings = str_replace([ "<?php", "?>" ], "", $settings); $settings = str_replace([ "<?php", "?>" ], "", $settings);
$core = str_replace([ $core = str_replace([
"{settings}", "//{settings}",
"{version}", "{version}",
"{guiconfig}", "{guiconfig}",
"{default-css}" "{default-css}"