usi un while per leggerli dal database e ad ogni ciclo ci aggiungi un valore all'array

Codice PHP:
//$result è il risultato della query
while($row mysql_fetch_array($result))
{
    
$provincie[] = $row['provicia'];
}

//$seleziona è il valore da selezionare
select('provincie',$provincie,$provincie,$seleziona);


function 
select($name,$labels,$values,$selected=null,$params='')
{
    if(!
is_array($labels)) return false;
    if(!
is_array($values)) return false;
    if(
count($labels)!=count($values)) return false;

    echo 
"<select name=\"$name\" $params>\n";
    for(
$i=0$i<count($labels); ++$i)
    {
        
$select = ($values[$i]==$selected) ? ' selected="selected"' '';
        echo 
'<option value="'.$values[$i].'"'.$select.'>'.$labels[$i].'</option>'."\n";
    }
    echo 
"</select>\n";
    return 
true;