Skip to content
Snippets Groups Projects
Commit fe7269ca authored by Robert Lange's avatar Robert Lange
Browse files

refs #22688 [finc] w3c: use microtime instead of time to generate unique ids for duplicate records

parent 22ae0e04
No related merge requests found
...@@ -8,7 +8,7 @@ ...@@ -8,7 +8,7 @@
<?php $title = $this->transEsc($driver->getTitle()); ?> <?php $title = $this->transEsc($driver->getTitle()); ?>
<?php if ($id) { <?php if ($id) {
$coverId = "cover-$id-" . time(); $coverId = "cover-$id-" . floor(microtime(true) * 1000);
} else { } else {
$cover = false; $cover = false;
} }
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment