Mostrare pagine specifiche nel menu di Thematic

Vediamo come includere nel menu del nostro Child Theme solo le pagine che vogliamo mostrare.
In un normale tema di WordPress ci basterebbe aggiungere in header.php la seguente linea di codice:

(show_home='Home'&include=3,4,5,8,11&sort_column=menu_order')

dove i numeri 3, 4, 5, 8 e 11 sono le ID delle pagine che vogliamo mostrare.

In Thematic Framework per WordPress invece dobbiamo aggiungere al nostro file functions.php il codice qui sotto:

function TUOCHILDTHEME_menu_args($args)
{
    $args = array('sort_column' => 'menu_order',
        'menu_class' => 'menu', 'echo' => true, 'include' => 'IDPAGINA1, IDPAGINA2');
    return $args;
}
add_filter('wp_page_menu_args', 'TUOCHILDTHEME_menu_args');

dove TUOCHILDTHEME e’ un valore arbitrario (per esempio il nome del nostro Child Theme) e IDPAGINAx e’ l’ID delle pagine che vogliamo mostrare, separate da una virgola.
Se vogliamo aggiungere anche il pulsante HOME, ecco il codice:

function TUOCHILDTHEME_menu_args($args)
{
    $args = array('show_home' => 'HOME', 'sort_column' => 'menu_order',
        'menu_class' => 'menu', 'echo' => true, 'include' => 'IDPAGINA1, IDPAGINA2');
    return $args;
}
add_filter('wp_page_menu_args', 'TUOCHILDTHEME_menu_args');

Semplice no?