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_user.php");
  12 if(gwvpmini_isLoggedIn()) if(gwvpmini_isUserAdmin()) {
  13         require_once("gwvpmini_admin.php");
  14 }
  15
  16 ?>