Gun fired inside William Penn High School: police

The school was put on lockdown. No one was injured.