Let's take a look at trauma.
Trauma is a result of intense emotional stress, which overwhelms a person's coping ability.
An example: Let's say someone is very delicate, and gets a scare at secondary, nearly an adult. A friend came up behind them and shouts, "roar", causing the subject to jump. Let's say this delicate person begins to develop semi-random bouts of terror. Usually at school. Sometimes in the middle of the night. Is that trauma? Over something as "silly" as a friendly jump scare? Yes it is, as it overwhelmed the person's ability to cope, and had lasting negative consequences.
Gate-keeping trauma helps no-one. Being, "lightly pushed into a locker", could cause someone to look over their shoulder for the rest of their life. Please be respectful of other people's constitution. Something mundane and silly to you, may be a life-long trauma to someone else. PTSD can occur over something as simple as fire crackers. A bit of consideration can go a long way toward understanding other people.