Historical Rules · 24 January 2020
Rule 117.3d
Official source text from the 24 January 2020 Rules release
If a player has priority and chooses not to take any actions, that player passes. If any mana is in that player’s mana pool, they announce what mana is there. Then the next player in turn order receives priority.