If some modification is applied to a repeat time of a timer, the timer is not updated so the only way of using the new value is by stopping the timer and starting it again (cf. D818).
This might have unintended side effects such as not being able to execute the timer at all.
This diff adds a function to cmpTimer.js to update the repeat time of a specific timer.
A use case could be D818.