1--TEST-- 2Test getrandmax() - basic function test getrandmax() 3--FILE-- 4<?php 5$biggest_int = getrandmax(); 6var_dump($biggest_int); 7?> 8--EXPECTF-- 9int(%d) 10