docref_ext        563 main/main.c    	STD_PHP_INI_ENTRY("docref_ext",				"",			PHP_INI_ALL,		OnUpdateString,			docref_ext,				php_core_globals,	core_globals)
docref_ext        914 main/main.c    			if (PG(docref_ext) && strlen(PG(docref_ext))) {
docref_ext        915 main/main.c    				spprintf(&docref_buf, 0, "%s%s", ref, PG(docref_ext));
docref_ext        124 main/php_globals.h 	char *docref_ext;