Historical Rules · 17 November 2023
Rule 117.1d
Official source text from the 17 November 2023 Rules release
A player may activate a mana ability whenever they have priority, whenever they are casting a spell or activating an ability that requires a mana payment, or whenever a rule or effect asks for a mana payment (even in the middle of casting or resolving a spell or activating or resolving an ability).