A 15-year-old boy was arrested just after noon that day at Robinson High School after the school resource officer received a tip that he had the gun on campus, Tampa police said in a news release.
Though police have named the student, it’s Patch policy not to name minors accused of crimes unless they’re charged as an adult. It’s not known whether the boy was charged as a juvenile or an adult.