git branching and pushing is doing my head in
[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_search.php");
9 require_once("gwvpmini_gitbackend.php");
10 require_once("gwvpmini_view.php");
11 require_once("gwvpmini_activity.php");
12 require_once("gwvpmini_register.php");
13 require_once("gwvpmini_user.php");
14 if($IS_WEB_REQUEST) {
15         if(gwvpmini_isLoggedIn()) if(gwvpmini_isUserAdmin()) {
16                 require_once("gwvpmini_admin.php");
17         }
18 } else {
19         require_once("gwvpmini_admin.php");
20 }
21
22 ?>