I like the first comment on the article itself which is: "Where the heck was the school counselor? The school social worker? The school psychologist? What in the world is the school thinking? Was there no one available who is trained in de-escalation and restraint, why call the police? This is why cutting so called "non-essential" services like school based mental health is rediculous! I work in a public school and cussing, spitting and jumping on tables in not a reason to call the police, it's a cry for help...where were the helpers?"
I think unfortunately this is the kind of stuff that happens when they slash educations non-essential services to the bone. Good luck getting someone with a teaching degree, and all the psych qualifications to deal with these problems without any outside support when you want to pay a pittance.