<?php


if (!defined("DOKU_INC")) {
    die();
}

//header navigation
$lang["20cones_htmltopbar"] = "Use static HTML page. If not selected top bar page is taken from '20cones_pagetopbar' config";
$lang["20cones_pagetopbar"] = "If static HTML is not selected, the following wiki page is the top bar";
$lang["20cones_showdokutitle"] = "Show Dokuwiki title text in header";