[Resolvido] While dentro de um Array!

Fala galera,

Estou martelando a cabeça a algumas horas para criar uma solução em PHP + JSON, mas está difícil encontrar solução para o que eu preciso!

Estou tentando criar o seguinte JSON com o PHP:

{
'itens': 3,

'user': [
{ 'uid': '001', 'name': 'Beltrano', 'phone': '+55 11 999 999 99', 'mail': 'beltrano@aol.com' },
{ 'uid': '002', 'name': 'Ciclano', 'phone': '+55 11 999 999 99', 'mail': 'ciclano@aol.com' },
{ 'uid': '003', 'name': 'Fulano', 'phone': '+55 11 999 999 99', 'mail': 'fulano@aol.com' }
]
}

Todo o conteúdo seria pego no banco de dados, e o campo "itens" seria preenchido com o número de registros, enquanto o conteudo de 'user' no caso, seria o while com o resultado da query MySQL.

Seria tudo mais ou menos assim:

$sql = "SELECT * FROM agenda ORDER BY contact_uid ASC;";
$sql = mysql_query($sql)or die(mysql_error());
$num = mysql_num_rows($sql);

$res = array(
'itens'=>$num,

while($row = mysql_fetch_array($sql)){

 array('uid'=>$row['contact_uid'], 'name'=>$row['contact_name'], 'phone'=>$row['contact_phone], 'mail'=>$row['contact_phone']);
	}
);

$res = json_encode($res);

O grande problema é que o PHP não permite que eu crie um while dentro do array, como posso solucionar isso?