Is it necessary to show a student ID when buying student tickets and checking them?

When we went there, children needed to have their height checked before purchasing tickets. Students must use their student ID cards.
When we went there, children needed to have their height checked before purchasing tickets. Students must use their student ID cards.