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