Make use of 5.0+ features

diff --git a/run-tests.php b/run-tests.php
index 9ec861864c66db632c39985bcc541c8a144ab536..c4e0b7789e0401623d2d53cc9ac83719e383d8b9 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -604,9 +604,7 @@ function save_text($filename,$text)
 {
        global $DETAILED;
 
-       $fp = @fopen($filename,'w') or error("Cannot open file '" . $filename . "' (save_text)");
-       fwrite($fp,$text);
-       fclose($fp);
+       @file_put_contents($filename, $text) or error("Cannot open file '" . $filename . "' (save_text)");
        if (1 < $DETAILED) echo "
 FILE $filename {{{
 $text