millette

I’ve grepped for page_navigation() and couldn’t find it the wp source. I was however able to find next_posts_link($text) and previous_posts_link($text). The snippets above (by Skippy) had trouble with html entities.