1<?php
2
3
4if (!defined("DOKU_INC")) {
5    die();
6}
7
8//header navigation
9$lang["20cones_htmltopbar"] = "Use static HTML page. If not selected top bar page is taken from '20cones_pagetopbar' config";
10$lang["20cones_pagetopbar"] = "If static HTML is not selected, the following wiki page is the top bar";
11$lang["20cones_showdokutitle"] = "Show Dokuwiki title text in header";