Tipo de elemento

[andrwyo2006]

Buenas noches estoy modificando un codigo que encontre en la internet y no logro saber que tipo de elemento es este y como haria para llenarlo con datos desde una base de datos...

$list['name'] ="carlos
pablo
luis
armando
matias
pedro
julio
domingo
fernando";

yo ya tengo esto

@include 'coneccion.php';
conectar();
$query="SELECT * FROM nombres";
$result=mysql_query($query);
$num_nombres=mysql_num_rows($result);

como hago para llenar ese de arriba con los datos de aqui?

alguna idea... gracias