Acabei encontrando a resposta.
Foi feito na unha.
Está em um arquivo externo e foi feito um include do mesmo.
Valeu.
Só uma nota, não use include
no WordPress, há uma função para isso chamada get_template_part()
.
Exemplos de uso:
Inserir um arquivo chamado menu.php
, adicione no arquivo header.php
:
<?php get_template_part('menu','header'); ?>
Inserir um arquivo chamado menu.php
em um arquivo chamado extra.php
:
<?php get_template_part('menu','extra'); ?>
O primeiro parâmetro é o nome do arquivo, sem extensão php.
O segundo parâmetro é um indicador de contexto (não é muito importante).