Usage of double is deprecated

mlazdans · mlazdans · commit 83df4b607809 · 2025-10-15T14:17:36.000+03:00
diff --git a/tests/functions.inc b/tests/functions.inc
@@ -1,6 +1,6 @@
 <?php
 
-srand(((int)(double)microtime()*1000000));
+srand(((int)(float)microtime()*1000000));
 
 function out_table($table_name)
 {

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`<?php`
`2`	`2`
`3`		`-srand(((int)(double)microtime()*1000000));`
	`3`	`+srand(((int)(float)microtime()*1000000));`
`4`	`4`
`5`	`5`	`function out_table($table_name)`
`6`	`6`	`{`