Marco Pivetta dc3b166811 #6017 replaced random_int() with rand(), since we still support oldstable PHP (5.6.x)

2016-11-27 18:38:57 +01:00

..

Tests

#6017 replaced random_int() with rand(), since we still support oldstable PHP (5.6.x)

2016-11-27 18:38:57 +01:00