Boa noite galerinhaaaa

bom vamos la, estou pegando o jeito da coisa porem empaquei :D
usei um plugin no wordpress chamado mega menu, so que ele duplicou meu
menu, ai dei uma pesquisada e segundo os colegas de programação eu deveria
ir no header e achar o locar do mega menu e deletar uma das div, ate ai sussa
achei e tls porem me deparei com isso

    <div class="span9">
                            <div class="nav" id="navigation">
                                <?php navigation(); ?>
    
                        </div>
    
                    </div>

Ali no <?php navigation(); ?> deveria estar o codigo do mega menu :D
entao comecei a busca por esse navigation :D e ate agora nao tive exito 
e apelei para a sabedoria de vcs!! alguem poderia me dar uma luz