Some quick and dirty admin console for Cafe Grader written in PHP