<?php


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

//header navigation
$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'";
$lang["20cones_pagetopbar"] = "Si está seleccionada el uso de la página estática, se utilizará la siguiente página del wiki como topbar";
$lang["20cones_showdokutitle"] = "Mostrar el título del wiki en la cabecera";