Small optimisation to search queries

build/index.php

@@ -1911,7 +1911,8 @@ class search
 		
 		
 		// Loop over each term in the query and find the matching page entries
-		for($i = 0; $i < count($query_terms); $i++)
+		$count = count($query_terms);
+		for($i = 0; $i < $count; $i++)
 		{
 			$qterm = $query_terms[$i];
 			

module_index.json

@@ -50,7 +50,7 @@
         "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.",
         "id": "feature-search",
-        "lastupdate": 1451133815,
+        "lastupdate": 1451135184,
         "optional": false
     },
     {

modules/feature-search.php

@@ -344,7 +344,8 @@ class search
 		
 		
 		// Loop over each term in the query and find the matching page entries
-		for($i = 0; $i < count($query_terms); $i++)
+		$count = count($query_terms);
+		for($i = 0; $i < $count; $i++)
 		{
 			$qterm = $query_terms[$i];