1--TEST--
2Bug #46587 (mt_rand() does not check that max is greater than min).
3--FILE--
4<?php
5
6var_dump(mt_rand(3,8));
7var_dump(mt_rand(8,3));
8
9echo "Done.\n";
10?>
11--EXPECTF--
12int(%d)
13
14Warning: mt_rand(): max(3) is smaller than min(8) in %s on line %d
15bool(false)
16Done.
17
