$settings = array();

while ($row = @mysql_fetch_array($result))
{
$settings[$row['LABEL']] = $row['VALUE'];
}

Non cnosco array_push. Non so se hai fatto compia incolla oppure nel codice ci sono ma mancano gli apici a LABEL e VALUE.

Ciao
Yuri