Display the drop-down list

Configuration of gmp_nextprime()

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

require_once 'gmp_abs.php';

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

class gmp_nextprime extends gmp_abs
{
    public 
$examples = [10, -1000];

    public 
$synopsis 'resource gmp_nextprime ( int $a )';
}