/* This file was automatically generated.  Do not edit! */
void db_execute(const char *zFormat,...);
char *db_short_query(const char *zFormat,...);
void initialize_wiki_pages(void);