Convertire array in json

[codencode]

Se ho ben capito cambi il ciclo while in questo modo:

while ( $rows = mysql_fetch_array($rs) ) {
    $empty [] = array (
        "ID" => $rows ['UtenteID'], 
        "Nome" => $rows ['UtenteNome'], 
        "Cognome" => $rows ['UtenteCognome'] );
}