Gun accidentally fires inside Dallas elementary school, official says

A district official said no one was injured.