changed xxx_timer() functions to portalTimerXxx() names