X-Git-Url: http://git.pjr.cc/?p=gwvp-mini.git;a=blobdiff_plain;f=gwvpmini%2Fgwvpmini.php;h=e17cd84b8d6ca12ea6d39fd0001988d3f50a662d;hp=d035b5db80ab2d3173b0f2957c9fe55dff7faedd;hb=6042a4d8bc6f911ceba615482d922b6e641602a2;hpb=29d0a57aa6969a64216fa5d7a0a455043cf13094

diff --git a/gwvpmini/gwvpmini.php b/gwvpmini/gwvpmini.php
index d035b5d..e17cd84 100644
--- a/gwvpmini/gwvpmini.php
+++ b/gwvpmini/gwvpmini.php
@@ -5,6 +5,7 @@ require_once("gwvpmini_auth.php");
 require_once("gwvpmini_db.php");
 require_once("gwvpmini_setup.php");
 require_once("gwvpmini_gitrepo.php");
+require_once("gwvpmini_search.php");
 require_once("gwvpmini_gitbackend.php");
 if(gwvpmini_isLoggedIn()) if(gwvpmini_isUserAdmin()) {
 	require_once("gwvpmini_admin.php");