diff --git a/app/helpers/application_helper.rb b/app/helpers/application_helper.rb
--- a/app/helpers/application_helper.rb
+++ b/app/helpers/application_helper.rb
@@ -13,7 +13,7 @@
       append_to menu_items, '[Problem admin]', 'problems', 'index'
       append_to menu_items, '[User admin]', 'user_admin', 'index'
       append_to menu_items, '[User stat]', 'user_admin', 'user_stat'
-      #append_to menu_items, '[Graders]', 'graders', 'list'
+      append_to menu_items, '[Graders]', 'graders', 'list'
       append_to menu_items, '[Site config]', 'configurations', 'index'
       menu_items << "<br/>"
     end
@@ -72,4 +72,12 @@
 TITLEBAR
   end
 
+  def read_textfile(fname,max_size=2048)
+    begin
+      File.open(fname).read(max_size)
+    rescue
+      nil
+    end
+  end
+
 end