int gzip_ok; /* Nonzero if Accept-encoding: gzip */
int prohibit_caching;
int dav_depth;
+ int Static;
/* these are references into Hdr->HTTPHeaders, so we don't need to free them. */
StrBuf *ContentType;
int get_time_format_cached (void);
int xtoi(const char *in, size_t len);
const char *get_selected_language(void);
+void display_wiki_pagelist(void);
#define DATEFMT_FULL 0
#define DATEFMT_BRIEF 1