Pager - append-Option

Hi, im using the Pager-Class to paginate search-result. Im passing an array by GET to the site which starts pagination, by using the square brackets: e.g. foo[]=3&foo[]=4&foo[]=5 By setting append=true in the options-array passed to the Pager-Constructor, i wanted these values to be passed to each of the result-sites. Unfortunately Pager doesnt recognize the array-values, but only carries the last value, in this case 5 to the next page. I think the problem is solvable by modifying common.php, in method _getLinksUrl(). At the moment, it just overwrites elements with the same name. You could easily check if there already is an element with the same key. If its already an array, append the new value, otherwise create an array. Or isnt this change sensible? best regards André Gemünd