From 83cd22a57cec748a525a6fbb420751ef91c9b618 Mon Sep 17 00:00:00 2001
From: dave <dave>
Date: Sun, 24 Jan 2010 06:47:19 +0000
Subject: [PATCH] Fix indentation

---
 admin/student_editor.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/admin/student_editor.php b/admin/student_editor.php
index 07907081..38784bf3 100644
--- a/admin/student_editor.php
+++ b/admin/student_editor.php
@@ -22,9 +22,9 @@
 */
 ?>
 <?
- require_once('../common.inc.php');
- require_once('../user.inc.php');
- $auth_type = user_auth_required(array('fair','committee'), 'admin');
+require_once('../common.inc.php');
+require_once('../user.inc.php');
+$auth_type = user_auth_required(array('fair','committee'), 'admin');
 
 $registrations_id = intval($_GET['id']);
 $action = $_GET['action'];