The Texas Rangers lead the majors with four players voted as 2023 MLB All-Star Game starters, the league announced Thursday. Here’s what you need to know about the rosters: The Rangers are the first MLB team with at least four elected All-Star Game starters since 2016, Texas said, also setting a franchise record. The remainder of the All-Star rosters, including pitchers and reserve position players for both teams, will be announced at 5:30 p.m. ET on Sunday on ESPN. The game is set for 8 p.m. ET on Tuesday, July 11, at the Mariners’ T-Mobile Park. It will air on…