WIKI_THEME="${WIKI_THEME:-default}"
. "${_EXEC}/themes/${WIKI_THEME}.sh"
+# Renew session cookie, only if cookie already set
+[ "$(COOKIE session)" ] && SESSION_COOKIE
+
wiki_text() {
# Print source text of a wiki page
# Get page from data or underlay dir