Re: [drupal-devel] [PATCH] pager.inc