user add/remove

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

diff --git a/gwvpmini/gwvpmini.php b/gwvpmini/gwvpmini.php
index e17cd84..696ef0f 100644 (file)
--- a/gwvpmini/gwvpmini.php
+++ b/gwvpmini/gwvpmini.php
@@ -7,6 +7,7 @@ require_once("gwvpmini_setup.php");
 require_once("gwvpmini_gitrepo.php");
 require_once("gwvpmini_search.php");
 require_once("gwvpmini_gitbackend.php");
+require_once("gwvpmini_view.php");
 if(gwvpmini_isLoggedIn()) if(gwvpmini_isUserAdmin()) {
        require_once("gwvpmini_admin.php");
 }