void str_wiki_index(char *s);
int get_time_format_cached (void);
int xtoi(const char *in, size_t len);
+const char *get_selected_language(void);
void webcit_fmt_date(char *buf, time_t thetime, int brief);
int fetch_http(char *url, char *target_buf, int maxbytes);