Added a Readme and a search header (with no functionality yet)

[gwvp-mini.git] / gwvpmini / gwvpmini.php

diff --git a/gwvpmini/gwvpmini.php b/gwvpmini/gwvpmini.php
index d035b5d..e17cd84 100644 (file)
--- 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");