From 1762544bdf55e75529e317127905db7b27c24f52 Mon Sep 17 00:00:00 2001
From: Robert Lange <robert.lange@uni-leipzig.de>
Date: Fri, 9 Dec 2022 16:40:29 +0100
Subject: [PATCH] refs #22688 [finc] w3c: use microtime instead of time to
generate unique ids for duplicate records
---
themes/finc/templates/record/cover.phtml | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/themes/finc/templates/record/cover.phtml b/themes/finc/templates/record/cover.phtml
index c65e7b73c0f..02ac33162df 100644
--- a/themes/finc/templates/record/cover.phtml
+++ b/themes/finc/templates/record/cover.phtml
@@ -7,11 +7,12 @@
<?php $id = $driver->getUniqueID() ?>
<?php $title = $this->transEsc($driver->getTitle()); ?>
-<?php if ($id) {
- $coverId = "cover-$id-" . floor(microtime(true) * 1000);
-} else {
- $cover = false;
-}
+<?php
+ if ($id) {
+ $coverId = "cover-$id-" . floor(microtime(true) * 1000);
+ } else {
+ $cover = false;
+ }
?>
<?php if ($cover): ?>
<?php /* load cover directly... */ ?>
--
GitLab