>The only way I can think of is to loop through the array, copying array
>values to new keys, and unsetting the old key.

Yeah, that's pretty much it:

        foreach(array_keys($array) as $old_key) {
                $array[new_key($old_key)] = $array[$old_key];
                unset($array[$old_key]);
        }

---------------------------------------------------------------------
michal migurski- contact info and pgp key:
sf/ca            http://mike.teczno.com/contact.html

-- 
PHP General Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to