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

Start working on intelligently finding history revisions, but it isn't finished yet.

Browse source 
Note that this commit does **not** build. I'm in the middle of something 
- please build the previous commit instead until I'm finished :P
This commit is contained in:
Starbeamrainbowlabs 2020-08-08 02:15:08 +01:00
parent 6e7ff16041
commit 62a3ea9d1e
Signed by: sbrl
GPG key ID: 1BE5172E637709C2
1 changed files with 22 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
core/20-pageindex-loader.php
View file

@ -33,6 +33,12 @@ if(!file_exists($paths->pageindex))
$newentry->lastmodified = filemtime($pagefilename); // Store the date last modified $newentry->lastmodified = filemtime($pagefilename); // Store the date last modified
// Todo find a way to keep the last editor independent of the page index // Todo find a way to keep the last editor independent of the page index
$newentry->lasteditor = "unknown"; // Set the editor to "unknown" $newentry->lasteditor = "unknown"; // Set the editor to "unknown"
// POTENTIAL BUG: If $env->storage_prefix is not ., then this we need to be more intelligent here
// Extract the name of the (sub)page without the ".md" // Extract the name of the (sub)page without the ".md"
$pagekey = mb_substr($newentry->filename, 0, -3); $pagekey = mb_substr($newentry->filename, 0, -3);
@ -94,6 +100,22 @@ if(!file_exists($paths->pageindex))
// Store the new entry in the new page index // Store the new entry in the new page index
$pageindex->$pagekey = $newentry; $pageindex->$pagekey = $newentry;
} }
if(function_exists("history_add_revision")) {
$history_revs = glob_recursive($env->storage_prefix . "*.r*");
foreach($history_revs as $filename) {
preg_match("/[0-9]+$/", "Main Page.md.r0", $revid);
if(count($revid) === 0) continue;
$revid = intval($revid[0]);
// TODO: Extract the pagename here (maybe a function is worth implementing if we haven't already?)
if($revid == 0 && ) {
}
}
}
save_pageindex(); save_pageindex();
unset($existingpages); unset($existingpages);
} }