Dokuwiki change name in menu entry

Pour que le changement de nom (attribué au plugin dans la barre de navigation) dans le fichier plugins/dokuwiki/language/english.php fonctionne, il faut modifier le fichier functions.inc dans plugins/dokuwiki/

Change name in the menu entry. Edit the functions.inc file in the plugins/dokuwiki/

function plugin_getmenuitems_dokuwiki() {
    global $_CONF, $_DW_CONF,$LANG_DW00;

    $menuitems[$LANG_DW00['menulabel']] = $_CONF['site_url'] . $_DW_CONF['public_dir'] . 'doku.php';
        return $menuitems;
    }