OCA\Richdocuments\Db\Op::getMillisecondsAsString PHP Method

    protected function getMillisecondsAsString()
    {
        $microtime = microtime();
        list($usec, $sec) = explode(" ", $microtime);
        $milliseconds = $sec . substr($usec, 2, 3);
        return $milliseconds;
    }