1<?php
2
3
4if (!defined("DOKU_INC")) {
5    die();
6}
7
8//header navigation
9$lang["20cones_htmltopbar"] = "Usar página HTML estática. Si no está seleccionado se usará la página del wiki indicada en la opción '20cones_pagetopbar'";
10$lang["20cones_pagetopbar"] = "Si está seleccionada el uso de la página estática, se utilizará la siguiente página del wiki como topbar";
11$lang["20cones_showdokutitle"] = "Mostrar el título del wiki en la cabecera";