From ea07b75eb065103be609777bd064824cdd5a0445 Mon Sep 17 00:00:00 2001
From: Jordi Kroon
Date: Mon, 25 May 2026 20:46:34 +0200
Subject: [PATCH] use navigator for clipboard
---
scripts/revcheck.php | 20 ++++++++++++--------
1 file changed, 12 insertions(+), 8 deletions(-)
diff --git a/scripts/revcheck.php b/scripts/revcheck.php
index 2816ee7d06..6638b4d718 100644
--- a/scripts/revcheck.php
+++ b/scripts/revcheck.php
@@ -428,14 +428,18 @@ function print_html_footer()
print_html_menu("");
print <<
-
@@ -448,4 +452,4 @@ function print_debug_list( RevcheckData $data )
foreach( $data->fileDetail as $key => $file )
print "f:$key m:{$file->maintainer} s:{$file->status->value}\n";
die();
-}
\ No newline at end of file
+}