[wp-hackers] comment pagination in 3.5.x

[Otto]

On Sat, Jun 29, 2013 at 10:26 AM, Chris McCoy <chris at lod.com> wrote:
> Was comment pagination removed in 3.5.x or earlier? I know in 2.7 it was
> added but i cant seem to find the option which is/was stored in
> get_option('page_comments')
>
> maybe i am missing something in the backend?

Maybe you are, because it's still there, and it's still called
page_comments. On the options-discussion screen.

-Otto