d035b5db80ab2d3173b0f2957c9fe55dff7faedd
[gwvp-mini.git] / gwvpmini / gwvpmini.php
1 <?php
2
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_gitbackend.php");
9 if(gwvpmini_isLoggedIn()) if(gwvpmini_isUserAdmin()) {
10         require_once("gwvpmini_admin.php");
11 }
12
13 ?>