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

Bugfix find_revisionid_timestamp

Browse source
This commit is contained in:
Starbeamrainbowlabs 2019-01-24 20:51:23 +00:00
parent 0ec1424d35
commit 33153094b1
Signed by: sbrl
GPG key ID: 1BE5172E637709C2
3 changed files with 8 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
build/index.php
View file

@ -409,7 +409,7 @@ if($settings->sessionprefix == "auto")
/////////////////////////////////////////////////////////////////////////////
/** The version of Pepperminty Wiki currently running. */
$version = "v0.18-dev";
$commit = "96b632ff561fd14baa263f0156a455340796dc41";
$commit = "bed21da43690f586e36b1e754431ac3be3682fc2";
/// Environment ///
/** Holds information about the current request environment. */
$env = new stdClass();
@ -3937,7 +3937,9 @@ function render_recent_changes($recent_changes)
* @param int $timestamap The timestamp at which the revision was saved.
* @return int The revision number of the given page at the given time.
*/
function find_revisionid_timestamp($pagename, $timestamap) {
function find_revisionid_timestamp($pagename, $timestamp) {
global $pageindex;
if(!isset($pageindex->$pagename) || !isset($pageindex->$pagename->history))
return null;

2
module_index.json
View file

@ -95,7 +95,7 @@
"author": "Starbeamrainbowlabs",
"description": "Adds recent changes. Access through the 'recent-changes' action.",
"id": "feature-recent-changes",
"lastupdate": 1548362686,
"lastupdate": 1548363014,
"optional": false
},
{

4
modules/feature-recent-changes.php
View file

@ -251,7 +251,9 @@ function render_recent_changes($recent_changes)
* @param int $timestamap The timestamp at which the revision was saved.
* @return int The revision number of the given page at the given time.
*/
function find_revisionid_timestamp($pagename, $timestamap) {
function find_revisionid_timestamp($pagename, $timestamp) {
global $pageindex;
if(!isset($pageindex->$pagename) || !isset($pageindex->$pagename->history))
return null;