Posted by Sjoerd on 02/12/06 15:06

> array_push ($uids, $row[0]);

Note: If you use array_push() to add one element to the array it's
better to use $array[] = because in that way there is no overhead of
calling a function.

$uids[] = $row[0];

[Back to original message]