3 require_once("gwvpmini_web.php");
4 require_once("gwvpmini_auth.php");
5 require_once("gwvpmini_db.php");
6 require_once("gwvpmini_setup.php");
7 require_once("gwvpmini_gitrepo.php");
8 require_once("gwvpmini_search.php");
9 require_once("gwvpmini_gitbackend.php");
10 require_once("gwvpmini_view.php");
11 require_once("gwvpmini_register.php");
12 require_once("gwvpmini_user.php");
13 if(gwvpmini_isLoggedIn()) if(gwvpmini_isUserAdmin()) {
14 require_once("gwvpmini_admin.php");