[PATCH] Pager extension: switch it off if --debugger is set

[Dirkjan Ochtman]

David Soria Parra <dsoria <at> gmx.net> writes:
> # HG changeset patch
> # User David Soria Parra <dsp <at> php.net>
> # Date 1207205656 -7200
> # Node ID c9a353324f9bdad341f148c37824816d8afc7ba7
> # Parent  27d59ce043a1f74f277a183f09a2097a3bf443a0
> Pager extension: switch it off if --debugger is set

Pushed to crew-stable as fb76d58f5fee.

Cheers,

Dirkjan