Historical Rules · 23 April 2010
Rule 115.3d
Official source text from the 23 April 2010 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, he or she announces what mana is there. Then the next player in turn order receives priority.