Miami-Dade County public schools

Miami-Dade County’s school system wants an extra $30 million this year from Florida to better prepare classrooms for a mass-shooting era — with bulletproof glass, advanced monitoring of social media and social workers trying to spot troubled students before they erupt in violence.

The requested state money would let Miami-Dade hire more police and mental-health workers, beef up school security with automatically locking doors and upgraded public announcement systems, and purchase software and hire staff to mine social media for potential threats.

The leader of Miami-Dade County public schools sharply criticized the Trump administration’s immigration policies Tuesday morning during a keynote that sounded like part stump speech, part sermon.

Superintendent Alberto Carvalho delivered an impassioned address opening a bipartisan summit on immigration reform at the University of Miami, relating his own “journey” as a Portuguese immigrant who was once in the U.S. illegally.