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

Finish bugfixing #35 - search has been implemented at last!

This commit is contained in:
Starbeamrainbowlabs 2015-12-05 18:59:23 +00:00
parent 29399a379c
commit 71131f973f
4 changed files with 252 additions and 212 deletions

View file

@ -5,8 +5,8 @@ $start_time = time(true);
// This will always be commented out for a release. // This will always be commented out for a release.
if(file_exists("php_error.php")) if(file_exists("php_error.php"))
{ {
require("php_error.php"); require("php_error.php");
\php_error\reportErrors([ "error_reporting_on" => E_ALL | E_STRICT ]); \php_error\reportErrors([ "error_reporting_on" => E_ALL | E_STRICT ]);
} }
@ -375,7 +375,7 @@ $paths->idindex = "idindex.json"; // The index that converts ids to page names
// Prepend the storage data directory to all the defined paths. // Prepend the storage data directory to all the defined paths.
foreach ($paths as &$path) { foreach ($paths as &$path) {
$path = $env->storage_prefix . $path; $path = $env->storage_prefix . $path;
} }
$paths->upload_file_prefix = "Files/"; // The prefix to append to uploaded files $paths->upload_file_prefix = "Files/"; // The prefix to append to uploaded files
@ -617,8 +617,8 @@ function hide_email($str)
*/ */
function starts_with($haystack, $needle) function starts_with($haystack, $needle)
{ {
$length = strlen($needle); $length = strlen($needle);
return (substr($haystack, 0, $length) === $needle); return (substr($haystack, 0, $length) === $needle);
} }
/** /**
* mb_stripos all occurences * mb_stripos all occurences
@ -648,33 +648,33 @@ function mb_stripos_all($haystack, $needle) {
function system_mime_type_extensions() { function system_mime_type_extensions() {
global $settings; global $settings;
# Returns the system MIME type mapping of MIME types to extensions, as defined in /etc/mime.types (considering the first # Returns the system MIME type mapping of MIME types to extensions, as defined in /etc/mime.types (considering the first
# extension listed to be canonical). # extension listed to be canonical).
$out = array(); $out = array();
$file = fopen($settings->mime_extension_mappings_location, 'r'); $file = fopen($settings->mime_extension_mappings_location, 'r');
while(($line = fgets($file)) !== false) { while(($line = fgets($file)) !== false) {
$line = trim(preg_replace('/#.*/', '', $line)); $line = trim(preg_replace('/#.*/', '', $line));
if(!$line) if(!$line)
continue; continue;
$parts = preg_split('/\s+/', $line); $parts = preg_split('/\s+/', $line);
if(count($parts) == 1) if(count($parts) == 1)
continue; continue;
$type = array_shift($parts); $type = array_shift($parts);
if(!isset($out[$type])) if(!isset($out[$type]))
$out[$type] = array_shift($parts); $out[$type] = array_shift($parts);
} }
fclose($file); fclose($file);
return $out; return $out;
} }
function system_mime_type_extension($type) { function system_mime_type_extension($type) {
# Returns the canonical file extension for the MIME type specified, as defined in /etc/mime.types (considering the first # Returns the canonical file extension for the MIME type specified, as defined in /etc/mime.types (considering the first
# extension listed to be canonical). # extension listed to be canonical).
# #
# $type - the MIME type # $type - the MIME type
static $exts; static $exts;
if(!isset($exts)) if(!isset($exts))
$exts = system_mime_type_extensions(); $exts = system_mime_type_extensions();
return isset($exts[$type]) ? $exts[$type] : null; return isset($exts[$type]) ? $exts[$type] : null;
} }
/////////////////////////////////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////////////////////////////////
@ -689,11 +689,12 @@ function system_mime_type_extension($type) {
*/ */
if(!file_exists($paths->pageindex)) if(!file_exists($paths->pageindex))
{ {
$glob_str = $env->storage_prefix . "*.md"; $glob_str = $env->storage_prefix . "*.md";
$existingpages = glob_recursive($glob_str); $existingpages = glob_recursive($glob_str);
var_dump($env->storage_prefix); // Debug statements. Uncomment when debugging the pageindex regenerator.
var_dump($glob_str); // var_dump($env->storage_prefix);
var_dump($existingpages); // var_dump($glob_str);
// var_dump($existingpages);
$pageindex = new stdClass(); $pageindex = new stdClass();
// We use a for loop here because foreach doesn't loop over new values inserted // We use a for loop here because foreach doesn't loop over new values inserted
// while we were looping // while we were looping
@ -704,12 +705,12 @@ if(!file_exists($paths->pageindex))
// Create a new entry // Create a new entry
$newentry = new stdClass(); $newentry = new stdClass();
$newentry->filename = utf8_encode(substr( // Store the filename, whilst trimming the storage prefix $newentry->filename = utf8_encode(substr( // Store the filename, whilst trimming the storage prefix
$pagefilename, $pagefilename,
strlen(preg_replace("/^\.\//i", "", $env->storage_prefix)) // glob_recursive trim the ./ from returned filenames , so we need to as well strlen(preg_replace("/^\.\//i", "", $env->storage_prefix)) // glob_recursive trim the ./ from returned filenames , so we need to as well
)); ));
// Remove the `./` from the beginning if it's still hanging around // Remove the `./` from the beginning if it's still hanging around
if(substr($newentry->filename, 0, 2) == "./") if(substr($newentry->filename, 0, 2) == "./")
$newentry->filename = substr($newentry->filename, 2); $newentry->filename = substr($newentry->filename, 2);
$newentry->size = filesize($pagefilename); // Store the page size $newentry->size = filesize($pagefilename); // Store the page size
$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
@ -717,26 +718,28 @@ if(!file_exists($paths->pageindex))
// Extract the name of the (sub)page without the ".md" // Extract the name of the (sub)page without the ".md"
$pagekey = utf8_encode(substr($newentry->filename, 0, -3)); $pagekey = utf8_encode(substr($newentry->filename, 0, -3));
if(file_exists($env->storage_prefix . $pagekey)) if(file_exists($env->storage_prefix . $pagekey) && // If it exists...
{ !is_dir($env->storage_prefix . $pagekey)) // ...and isn't a directory
// This page (potentially) has an associated file! {
// Let's investigate. // This page (potentially) has an associated file!
// Let's investigate.
// Blindly add the file to the pageindex for now. // Blindly add the file to the pageindex for now.
// Future We might want to do a security check on the file later on. // Future We might want to do a security check on the file later on.
// File a bug if you think we should do this. // File a bug if you think we should do this.
$newentry->uploadedfile = true; // Yes this page does have an uploaded file associated with it $newentry->uploadedfile = true; // Yes this page does have an uploaded file associated with it
$newentry->uploadedfilepath = $pagekey; // It's stored here $newentry->uploadedfilepath = $pagekey; // It's stored here
// Work out what kind of file it really is // Work out what kind of file it really is
$mimechecker = finfo_open(FILEINFO_MIME_TYPE); $mimechecker = finfo_open(FILEINFO_MIME_TYPE);
$newentry->uploadedfilemime = finfo_file($mimechecker, $env->storage_prefix . $pagekey); $newentry->uploadedfilemime = finfo_file($mimechecker, $env->storage_prefix . $pagekey);
} }
echo("pagekey: "); // Debug statements. Uncomment when debugging the pageindex regenerator.
var_dump($pagekey); // echo("pagekey: ");
echo("newentry: "); // var_dump($pagekey);
var_dump($newentry); // echo("newentry: ");
// var_dump($newentry);
// Subpage parent checker // Subpage parent checker
if(strpos($pagekey, "/") !== false) if(strpos($pagekey, "/") !== false)
@ -808,36 +811,36 @@ class ids
return $idindex->$id; return $idindex->$id;
} }
/* /*
* @summary Moves a page in the id index from $oldpagename to $newpagename. * @summary Moves a page in the id index from $oldpagename to $newpagename.
* Note that this function doesn't perform any special checks to * Note that this function doesn't perform any special checks to
* make sure that the destination name doesn't already exist. * make sure that the destination name doesn't already exist.
*/ */
public static function movepagename($oldpagename, $newpagename) public static function movepagename($oldpagename, $newpagename)
{ {
global $idindex, $paths; global $idindex, $paths;
$pageid = self::getid($oldpagename); $pageid = self::getid($oldpagename);
$idindex->$pageid = $newpagename; $idindex->$pageid = $newpagename;
file_put_contents($paths->idindex, json_encode($idindex)); file_put_contents($paths->idindex, json_encode($idindex));
} }
/* /*
* @summary Removes the given page name from the id index. Note that this * @summary Removes the given page name from the id index. Note that this
* function doesn't handle multiple entries with the same name. * function doesn't handle multiple entries with the same name.
*/ */
public static function deletepagename($pagename) public static function deletepagename($pagename)
{ {
global $idindex, $paths; global $idindex, $paths;
// Get the id of the specified page // Get the id of the specified page
$pageid = self::getid($pagename); $pageid = self::getid($pagename);
// Remove it from the pageindex // Remove it from the pageindex
unset($idindex->$pageid); unset($idindex->$pageid);
// Save the id index // Save the id index
file_put_contents($paths->idindex, json_encode($idindex)); file_put_contents($paths->idindex, json_encode($idindex));
} }
/* /*
* @summary Assigns an id to a pagename. Doesn't check to make sure that * @summary Assigns an id to a pagename. Doesn't check to make sure that
@ -1167,12 +1170,12 @@ if($settings->require_login_view === true && // If this site requires a login in
!$env->is_logged_in && // And the user isn't logged in !$env->is_logged_in && // And the user isn't logged in
!in_array($_GET["action"], [ "login", "checklogin" ])) // And the user isn't trying to login !in_array($_GET["action"], [ "login", "checklogin" ])) // And the user isn't trying to login
{ {
// Redirect the user to the login page // Redirect the user to the login page
http_response_code(307); http_response_code(307);
$url = "?action=login&returnto=" . rawurlencode($_SERVER["REQUEST_URI"]) . "&required=true"; $url = "?action=login&returnto=" . rawurlencode($_SERVER["REQUEST_URI"]) . "&required=true";
header("location: $url"); header("location: $url");
exit(page_renderer::render("Login required - $settings->sitename", "<p>$settings->sitename requires that you login before you are able to access it.</p> exit(page_renderer::render("Login required - $settings->sitename", "<p>$settings->sitename requires that you login before you are able to access it.</p>
<p><a href='$url'>Login</a>.</p>")); <p><a href='$url'>Login</a>.</p>"));
} }
////////////////////////////////////// //////////////////////////////////////
////////////////////////////////////// //////////////////////////////////////
@ -1194,6 +1197,21 @@ function register_module($moduledata)
//var_dump($moduledata); //var_dump($moduledata);
$modules[] = $moduledata; $modules[] = $moduledata;
} }
/**
* Checks to see whether a module with the given id exists.
* @param string $id The id to search for.
* @return bool Whether a module is currently loaded with the given id.
*/
function module_exists($id)
{
global $modules;
foreach($modules as $module)
{
if($module["id"] == $id)
return true;
}
return false;
}
// Function to register an action handler // Function to register an action handler
$actions = new stdClass(); $actions = new stdClass();
@ -1518,6 +1536,11 @@ register_module([
add_action("search", function() { add_action("search", function() {
global $settings, $env, $pageindex, $paths; global $settings, $env, $pageindex, $paths;
// Create the inverted index if it doesn't exist.
// todo In the future perhaps a CLI for this would be good?
if(!file_exists($paths->searchindex))
search::rebuild_invindex();
if(!isset($_GET["query"])) if(!isset($_GET["query"]))
exit(page_renderer::render("No Search Terms - Error - $settings->sitename", "<p>You didn't specify any search terms. Try typing some into the box above.</p>")); exit(page_renderer::render("No Search Terms - Error - $settings->sitename", "<p>You didn't specify any search terms. Try typing some into the box above.</p>"));
@ -2433,7 +2456,7 @@ register_module([
ids::deletepagename($env->page); ids::deletepagename($env->page);
// Delete the page from the search index, if that module is installed // Delete the page from the search index, if that module is installed
if(isset($modules["feature-search"])) if(module_exists("feature-search"))
{ {
$pageid = ids::getid($env->page); $pageid = ids::getid($env->page);
$invindex = search::load_invindex($paths->searchindex); $invindex = search::load_invindex($paths->searchindex);
@ -2508,7 +2531,7 @@ register_module([
else else
{ {
http_response_code(404); http_response_code(404);
exit(page_renderer::render_main("404 - $env->page", "<p>The page <code>$env->page</code> does not exist, but you do not have permission to create it.</p><p>If you haven't already, perhaps you should try <a href='index.php?action=login'>logging in</a>.</p>")); exit(page_renderer::render_main("404 - $env->page", "<p>The page <code>$env->page</code> does not exist, but you do not have permission to create it.</p><p>If you haven't already, perhaps you should try <a href='index.php?action=login&returnto=" . rawurlencode($_SERVER["REQUEST_URI"]) . "'>logging in</a>.</p>"));
} }
} }
@ -2592,7 +2615,9 @@ register_module([
// Update the inverted search index // Update the inverted search index
// Construct an index for the old and new page content // Construct an index for the old and new page content
$oldindex = search::index(file_get_contents("$env->page.md")); $oldindex = [];
if(file_exists("$env->page.md"))
$oldindex = search::index(file_get_contents("$env->page.md"));
$newindex = search::index($pagedata); $newindex = search::index($pagedata);
// Compare the indexes of the old and new content // Compare the indexes of the old and new content

199
core.php
View file

@ -5,8 +5,8 @@ $start_time = time(true);
// This will always be commented out for a release. // This will always be commented out for a release.
if(file_exists("php_error.php")) if(file_exists("php_error.php"))
{ {
require("php_error.php"); require("php_error.php");
\php_error\reportErrors([ "error_reporting_on" => E_ALL | E_STRICT ]); \php_error\reportErrors([ "error_reporting_on" => E_ALL | E_STRICT ]);
} }
{settings} {settings}
@ -31,7 +31,7 @@ $paths->idindex = "idindex.json"; // The index that converts ids to page names
// Prepend the storage data directory to all the defined paths. // Prepend the storage data directory to all the defined paths.
foreach ($paths as &$path) { foreach ($paths as &$path) {
$path = $env->storage_prefix . $path; $path = $env->storage_prefix . $path;
} }
$paths->upload_file_prefix = "Files/"; // The prefix to append to uploaded files $paths->upload_file_prefix = "Files/"; // The prefix to append to uploaded files
@ -273,8 +273,8 @@ function hide_email($str)
*/ */
function starts_with($haystack, $needle) function starts_with($haystack, $needle)
{ {
$length = strlen($needle); $length = strlen($needle);
return (substr($haystack, 0, $length) === $needle); return (substr($haystack, 0, $length) === $needle);
} }
/** /**
* mb_stripos all occurences * mb_stripos all occurences
@ -304,33 +304,33 @@ function mb_stripos_all($haystack, $needle) {
function system_mime_type_extensions() { function system_mime_type_extensions() {
global $settings; global $settings;
# Returns the system MIME type mapping of MIME types to extensions, as defined in /etc/mime.types (considering the first # Returns the system MIME type mapping of MIME types to extensions, as defined in /etc/mime.types (considering the first
# extension listed to be canonical). # extension listed to be canonical).
$out = array(); $out = array();
$file = fopen($settings->mime_extension_mappings_location, 'r'); $file = fopen($settings->mime_extension_mappings_location, 'r');
while(($line = fgets($file)) !== false) { while(($line = fgets($file)) !== false) {
$line = trim(preg_replace('/#.*/', '', $line)); $line = trim(preg_replace('/#.*/', '', $line));
if(!$line) if(!$line)
continue; continue;
$parts = preg_split('/\s+/', $line); $parts = preg_split('/\s+/', $line);
if(count($parts) == 1) if(count($parts) == 1)
continue; continue;
$type = array_shift($parts); $type = array_shift($parts);
if(!isset($out[$type])) if(!isset($out[$type]))
$out[$type] = array_shift($parts); $out[$type] = array_shift($parts);
} }
fclose($file); fclose($file);
return $out; return $out;
} }
function system_mime_type_extension($type) { function system_mime_type_extension($type) {
# Returns the canonical file extension for the MIME type specified, as defined in /etc/mime.types (considering the first # Returns the canonical file extension for the MIME type specified, as defined in /etc/mime.types (considering the first
# extension listed to be canonical). # extension listed to be canonical).
# #
# $type - the MIME type # $type - the MIME type
static $exts; static $exts;
if(!isset($exts)) if(!isset($exts))
$exts = system_mime_type_extensions(); $exts = system_mime_type_extensions();
return isset($exts[$type]) ? $exts[$type] : null; return isset($exts[$type]) ? $exts[$type] : null;
} }
/////////////////////////////////////////////////////////////////////////////////////////// ///////////////////////////////////////////////////////////////////////////////////////////
@ -345,12 +345,12 @@ function system_mime_type_extension($type) {
*/ */
if(!file_exists($paths->pageindex)) if(!file_exists($paths->pageindex))
{ {
$glob_str = $env->storage_prefix . "*.md"; $glob_str = $env->storage_prefix . "*.md";
$existingpages = glob_recursive($glob_str); $existingpages = glob_recursive($glob_str);
// Debug statements. Uncomment when debugging the pageindex regenerator. // Debug statements. Uncomment when debugging the pageindex regenerator.
// var_dump($env->storage_prefix); // var_dump($env->storage_prefix);
// var_dump($glob_str); // var_dump($glob_str);
// var_dump($existingpages); // var_dump($existingpages);
$pageindex = new stdClass(); $pageindex = new stdClass();
// We use a for loop here because foreach doesn't loop over new values inserted // We use a for loop here because foreach doesn't loop over new values inserted
// while we were looping // while we were looping
@ -361,12 +361,12 @@ if(!file_exists($paths->pageindex))
// Create a new entry // Create a new entry
$newentry = new stdClass(); $newentry = new stdClass();
$newentry->filename = utf8_encode(substr( // Store the filename, whilst trimming the storage prefix $newentry->filename = utf8_encode(substr( // Store the filename, whilst trimming the storage prefix
$pagefilename, $pagefilename,
strlen(preg_replace("/^\.\//i", "", $env->storage_prefix)) // glob_recursive trim the ./ from returned filenames , so we need to as well strlen(preg_replace("/^\.\//i", "", $env->storage_prefix)) // glob_recursive trim the ./ from returned filenames , so we need to as well
)); ));
// Remove the `./` from the beginning if it's still hanging around // Remove the `./` from the beginning if it's still hanging around
if(substr($newentry->filename, 0, 2) == "./") if(substr($newentry->filename, 0, 2) == "./")
$newentry->filename = substr($newentry->filename, 2); $newentry->filename = substr($newentry->filename, 2);
$newentry->size = filesize($pagefilename); // Store the page size $newentry->size = filesize($pagefilename); // Store the page size
$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
@ -374,28 +374,28 @@ if(!file_exists($paths->pageindex))
// Extract the name of the (sub)page without the ".md" // Extract the name of the (sub)page without the ".md"
$pagekey = utf8_encode(substr($newentry->filename, 0, -3)); $pagekey = utf8_encode(substr($newentry->filename, 0, -3));
if(file_exists($env->storage_prefix . $pagekey) && // If it exists... if(file_exists($env->storage_prefix . $pagekey) && // If it exists...
!is_dir($env->storage_prefix . $pagekey)) // ...and isn't a directory !is_dir($env->storage_prefix . $pagekey)) // ...and isn't a directory
{ {
// This page (potentially) has an associated file! // This page (potentially) has an associated file!
// Let's investigate. // Let's investigate.
// Blindly add the file to the pageindex for now. // Blindly add the file to the pageindex for now.
// Future We might want to do a security check on the file later on. // Future We might want to do a security check on the file later on.
// File a bug if you think we should do this. // File a bug if you think we should do this.
$newentry->uploadedfile = true; // Yes this page does have an uploaded file associated with it $newentry->uploadedfile = true; // Yes this page does have an uploaded file associated with it
$newentry->uploadedfilepath = $pagekey; // It's stored here $newentry->uploadedfilepath = $pagekey; // It's stored here
// Work out what kind of file it really is // Work out what kind of file it really is
$mimechecker = finfo_open(FILEINFO_MIME_TYPE); $mimechecker = finfo_open(FILEINFO_MIME_TYPE);
$newentry->uploadedfilemime = finfo_file($mimechecker, $env->storage_prefix . $pagekey); $newentry->uploadedfilemime = finfo_file($mimechecker, $env->storage_prefix . $pagekey);
} }
// Debug statements. Uncomment when debugging the pageindex regenerator. // Debug statements. Uncomment when debugging the pageindex regenerator.
// echo("pagekey: "); // echo("pagekey: ");
// var_dump($pagekey); // var_dump($pagekey);
// echo("newentry: "); // echo("newentry: ");
// var_dump($newentry); // var_dump($newentry);
// Subpage parent checker // Subpage parent checker
if(strpos($pagekey, "/") !== false) if(strpos($pagekey, "/") !== false)
@ -467,36 +467,36 @@ class ids
return $idindex->$id; return $idindex->$id;
} }
/* /*
* @summary Moves a page in the id index from $oldpagename to $newpagename. * @summary Moves a page in the id index from $oldpagename to $newpagename.
* Note that this function doesn't perform any special checks to * Note that this function doesn't perform any special checks to
* make sure that the destination name doesn't already exist. * make sure that the destination name doesn't already exist.
*/ */
public static function movepagename($oldpagename, $newpagename) public static function movepagename($oldpagename, $newpagename)
{ {
global $idindex, $paths; global $idindex, $paths;
$pageid = self::getid($oldpagename); $pageid = self::getid($oldpagename);
$idindex->$pageid = $newpagename; $idindex->$pageid = $newpagename;
file_put_contents($paths->idindex, json_encode($idindex)); file_put_contents($paths->idindex, json_encode($idindex));
} }
/* /*
* @summary Removes the given page name from the id index. Note that this * @summary Removes the given page name from the id index. Note that this
* function doesn't handle multiple entries with the same name. * function doesn't handle multiple entries with the same name.
*/ */
public static function deletepagename($pagename) public static function deletepagename($pagename)
{ {
global $idindex, $paths; global $idindex, $paths;
// Get the id of the specified page // Get the id of the specified page
$pageid = self::getid($pagename); $pageid = self::getid($pagename);
// Remove it from the pageindex // Remove it from the pageindex
unset($idindex->$pageid); unset($idindex->$pageid);
// Save the id index // Save the id index
file_put_contents($paths->idindex, json_encode($idindex)); file_put_contents($paths->idindex, json_encode($idindex));
} }
/* /*
* @summary Assigns an id to a pagename. Doesn't check to make sure that * @summary Assigns an id to a pagename. Doesn't check to make sure that
@ -826,12 +826,12 @@ if($settings->require_login_view === true && // If this site requires a login in
!$env->is_logged_in && // And the user isn't logged in !$env->is_logged_in && // And the user isn't logged in
!in_array($_GET["action"], [ "login", "checklogin" ])) // And the user isn't trying to login !in_array($_GET["action"], [ "login", "checklogin" ])) // And the user isn't trying to login
{ {
// Redirect the user to the login page // Redirect the user to the login page
http_response_code(307); http_response_code(307);
$url = "?action=login&returnto=" . rawurlencode($_SERVER["REQUEST_URI"]) . "&required=true"; $url = "?action=login&returnto=" . rawurlencode($_SERVER["REQUEST_URI"]) . "&required=true";
header("location: $url"); header("location: $url");
exit(page_renderer::render("Login required - $settings->sitename", "<p>$settings->sitename requires that you login before you are able to access it.</p> exit(page_renderer::render("Login required - $settings->sitename", "<p>$settings->sitename requires that you login before you are able to access it.</p>
<p><a href='$url'>Login</a>.</p>")); <p><a href='$url'>Login</a>.</p>"));
} }
////////////////////////////////////// //////////////////////////////////////
////////////////////////////////////// //////////////////////////////////////
@ -853,6 +853,21 @@ function register_module($moduledata)
//var_dump($moduledata); //var_dump($moduledata);
$modules[] = $moduledata; $modules[] = $moduledata;
} }
/**
* Checks to see whether a module with the given id exists.
* @param string $id The id to search for.
* @return bool Whether a module is currently loaded with the given id.
*/
function module_exists($id)
{
global $modules;
foreach($modules as $module)
{
if($module["id"] == $id)
return true;
}
return false;
}
// Function to register an action handler // Function to register an action handler
$actions = new stdClass(); $actions = new stdClass();

View file

@ -50,7 +50,7 @@
"author": "Starbeamrainbowlabs", "author": "Starbeamrainbowlabs",
"description": "Adds proper search functionality to Pepperminty Wiki. Note that this module, at the moment, just contains test code while I figure out how best to write a search engine.", "description": "Adds proper search functionality to Pepperminty Wiki. Note that this module, at the moment, just contains test code while I figure out how best to write a search engine.",
"id": "feature-search", "id": "feature-search",
"lastupdate": 1447521069, "lastupdate": 1449335838,
"optional": false "optional": false
}, },
{ {
@ -77,7 +77,7 @@
"author": "Starbeamrainbowlabs", "author": "Starbeamrainbowlabs",
"description": "Adds an action to allow administrators to delete pages.", "description": "Adds an action to allow administrators to delete pages.",
"id": "page-delete", "id": "page-delete",
"lastupdate": 1447520092, "lastupdate": 1449341692,
"optional": false "optional": false
}, },
{ {
@ -86,7 +86,7 @@
"author": "Starbeamrainbowlabs", "author": "Starbeamrainbowlabs",
"description": "Allows you to edit pages by adding the edit and save actions. You should probably include this one.", "description": "Allows you to edit pages by adding the edit and save actions. You should probably include this one.",
"id": "page-edit", "id": "page-edit",
"lastupdate": 1447053850, "lastupdate": 1449337027,
"optional": false "optional": false
}, },
{ {

View file

@ -43,7 +43,7 @@ register_module([
ids::deletepagename($env->page); ids::deletepagename($env->page);
// Delete the page from the search index, if that module is installed // Delete the page from the search index, if that module is installed
if(isset($modules["feature-search"])) if(module_exists("feature-search"))
{ {
$pageid = ids::getid($env->page); $pageid = ids::getid($env->page);
$invindex = search::load_invindex($paths->searchindex); $invindex = search::load_invindex($paths->searchindex);