GameTimeMS

GameTimeMS shows a customizable amount of digits of milliseconds in both the game timer and the end game widget.

Waiting for Gimloader extension...