Use millisecond timing for devlab and minicore animations