diff --git a/admin/user_list.php b/admin/user_list.php index 5479048..b25a902 100644 --- a/admin/user_list.php +++ b/admin/user_list.php @@ -22,10 +22,11 @@ */ ?> - require("../common.inc.php"); - require_once("../user.inc.php"); + require_once('../common.inc.php'); + require_once('../user.inc.php'); user_auth_required('committee', 'admin'); - include "judges.inc.php"; + + require_once('judges.inc.php'); $show_types = $_GET['show_types']; if(user_valid_type($show_types) == false) $show_types = array('judge'); @@ -95,7 +96,7 @@ function toggleoptions() echo "