wp-content/themes/twentytwelve/functions.php:340Filter the page menu arguments.
$argsfunction twentytwelve_page_menu_args( $args ) { if ( ! isset( $args['show_home'] ) ) { $args['show_home'] = true; } return $args;}Introduced in Twenty Twelve 1.0. Unchanged from 6.7.7 through 7.1.0.
Signature, return type and hooks compared across 5 parsed releases.
src/wp-content/themes/twentytwelve/functions.php, and regenerated for each WordPress release so it tracks the code rather than a snapshot of it.