[php] PHP: merge two arrays while keeping keys instead of reindexing?