Tests: missing @phpVersion annotation in test files (for traits)