function $b013befce1f6217f$var$onDocumentMouseMove() {
    var now = performance.now();
    if (now - $b013befce1f6217f$var$lastMouseMoveTime < 20) {
        $b013befce1f6217f$var$currentInput.isTouch = false;
        document.removeEventListener('mousemove', $b013befce1f6217f$var$onDocumentMouseMove);
    }
    $b013befce1f6217f$var$lastMouseMoveTime = now;
}
When two `mousemove` event are fired consecutively within 20ms, it's assumed
the user is using mouse input again. `mousemove` can fire on touch devices as
well, but very rarely that quickly.