Display the drop-down list

Configuration of mt_rand()

<?php
/**
 * PHP By Example
 *
 * @copyright 2014 Michel Corne 
 * @license   http://www.opensource.org/licenses/gpl-3.0.html GNU GPL v3
 */

require_once 'models/function_core.php';

/**
 * Function configuration
 *
 * @see docs/function-configuration.txt
 */

class mt_rand extends function_core
{
    public 
$examples = [
        [],
        [
515]
    ];

    
// public $synopsis    = 'int mt_rand ( void )';
    
public $synopsis       'int mt_rand ( int $min , int $max )';
    public 
$synopsis_fixed 'int mt_rand ( [ int $min [, int $max ]] )';

    public 
$test_not_validated true;
}