Bugfix: Correct search query performance metrics

Changelog.md

@@ -1,11 +1,18 @@
 # Changelog
 This file holds the changelog for Pepperminty Wiki. This is the master list of things that have changed (second only to the commit history!) - though the information for any particular release can also be found in the description of it's page for every release made on GitHub too.
 
+
 ## v0.20-dev
+
+### Fixed
+ - Fixed a bug in the search query performance metrics
+
+### Changed
  - Made `build.sh` build script more robust, especially when generating the documentation.
  - Improved search index update performance - especially when rebuilding the entire index through the master control panel
      - The search index is no longer sorted, but this shouldn't affect lookup performance at all
 
+
 ## v0.19
 
 _(No changes have been made since the last beta release.)_

module_index.json

@@ -135,7 +135,7 @@
         "version": "0.8",
         "author": "Starbeamrainbowlabs",
         "description": "Adds proper search functionality to Pepperminty Wiki using an inverted index to provide a full text search engine. If pages don't show up, then you might have hit a stop word. If not, try requesting the `invindex-rebuild` action to rebuild the inverted index from scratch.",
-        "lastupdate": 1565906705,
+        "lastupdate": 1565909052,
         "optional": false,
         "extra_data": []
     },

modules/feature-search.php

@@ -135,7 +135,7 @@ register_module([
 			$invindex = search::load_invindex($paths->searchindex);
 			$env->perfdata->invindex_decode_time = round((microtime(true) - $time_start)*1000, 3);
 			
-			$start = microtime(true);
+			$time_start = microtime(true);
 			$results = search::query_invindex($_GET["query"], $invindex);
 			$resultCount = count($results);
 			$env->perfdata->invindex_query_time = round((microtime(true) - $time_start)*1000, 3);