Pager.inc doesn't allow for additional attributes

So I wanted to do a pager_query using Ajax, and I noticed that there wasn't any way to add an 'onclick' attribute to the links returned by theme_pager. So I decided to create a patch to pager.inc to allow this to be added (and any additional attributes) without sacrificing any of the additional code or creating unnecessary complications.

Basically now theme_pager accepts an additional parameter, $attributes, which is set to an empty array initially in the function, and these attributes are passed all the way to theme_pager_link, where they are actually added to the link.

Since this will have no effect on the average user or module writer, this may be unnecessary, but it sure does wonders for my Ajax paging.

Dave