Comenta a linha 478 e testa, ela não faz nada de mais..
nessa linha esta isso
$overview .= ‘<p>’ . sprintf( __( ‘Menus can be displayed in locations defined by your theme, even used in sidebars by adding a “Custom Menus” widget on the Widgets screen. If your theme does not support the custom menus feature (the default themes, %2$s and %3$s, do), you can learn about adding this support by following the Documentation link to the side.’ ), admin_url( ‘widgets.php’ ), ‘Twenty Thirteen’, ‘Twenty Twelve’ ) . ‘</p>’;