pager              93 ext/readline/readline_cli.c 	if (CLIR_G(pager) && *CLIR_G(pager) && !pager_pipe) {
pager              94 ext/readline/readline_cli.c 		pager_pipe = VCWD_POPEN(CLIR_G(pager), "w");
pager             116 ext/readline/readline_cli.c 	rg->pager = NULL;
pager             122 ext/readline/readline_cli.c 	STD_PHP_INI_ENTRY("cli.pager", "", PHP_INI_ALL, OnUpdateString, pager, zend_cli_readline_globals, cli_readline_globals)
pager              26 ext/readline/readline_cli.h 	char *pager;