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 +}