That would be departmental management, and the most senior departmental management, of course, are the deputy heads, so they would do it. I should mention also that discipline can take a number of forms, right up to and including dismissal.
On October 16th, 2012. See this statement in context.