diff --git a/admin/judges_scheduler_status.php b/admin/judges_scheduler_status.php
index 6693d19..77d2f6c 100644
--- a/admin/judges_scheduler_status.php
+++ b/admin/judges_scheduler_status.php
@@ -29,7 +29,6 @@ ogram; see the file COPYING. If not, write to
'Administration' => 'admin/index.php',
'Judges' => 'admin/judges.php')
);
- require_once("../ajax.inc.php");
?>
-if($config['judge_scheduler_percent']=="-1")
-{
+if($config['judge_scheduler_percent']=="-1") {
echo i18n("The judge scheduler is not currently running");
echo "
";
echo "
";
echo "".i18n("Judges Scheduler Configuration")."";
}
-else
-{
+else {
echo "
".i18n("Scheduler status").": | |
".i18n("Scheduler percent").": |