Skip to content
Snippets Groups Projects
Commit 1762544b 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 fe7269ca
Branches
Tags
No related merge requests found
...@@ -7,11 +7,12 @@ ...@@ -7,11 +7,12 @@
<?php $id = $driver->getUniqueID() ?> <?php $id = $driver->getUniqueID() ?>
<?php $title = $this->transEsc($driver->getTitle()); ?> <?php $title = $this->transEsc($driver->getTitle()); ?>
<?php if ($id) { <?php
$coverId = "cover-$id-" . floor(microtime(true) * 1000); if ($id) {
} else { $coverId = "cover-$id-" . floor(microtime(true) * 1000);
$cover = false; } else {
} $cover = false;
}
?> ?>
<?php if ($cover): ?> <?php if ($cover): ?>
<?php /* load cover directly... */ ?> <?php /* load cover directly... */ ?>
......
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