diff --git a/run-tests.php b/run-tests.php index bd03a7f882a..0e0fdc2c6a5 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1094,7 +1094,7 @@ function test_sort($a, $b): int } // -// Write the given text to a temporary file, and return the filename. +// Write the given text to a temporary file. // function save_text(string $filename, string $text, ?string $filename_copy = null): void