Remove theme_pager_detail()

The idea is to make it available for use in themes, modules, etc, to design custom pagers. Why exactly do you need to remove it?

i agree with jeremy. can't we find more meaningful patches than ones which strip themeability. I can't evaluate the patch because I don't see a file. maybe thats a bug, or drumm just forgot.

not everyone uses our google ripoff pager. i have customized this in the past for clients. you can't look at contributed themes and then conclude that a theme function is not used.

another -1. This theme function was added to allow better themeing of teh pager. Before this function we could only go for the standard pager, now we can theme it much nicer.

I'm with Neil here. This function is not called anywhere, hence it is dead code -- at least for core and contrib. If you need this function, you can still implement it elsewhere (eg. in your theme).

ok, this patch makes sense now. this is simply unused code.

Committed to HEAD. Thanks.

Prior to comitting this patch we had a couple extra lines of code in pager.inc, and a completely alternative possibililty for displaying a pager. For negligible memory, and negligible maintenance cost we had choices for custom themes and modules.

Now there is only one type of pager available with Drupal.

Sure, someone could write this fuction themselves, but realistically it's just complex enough that very would ever bother to do so.

I'm disappointed to see this code removed, as I see no gain, only loss.

@drumm: good idea