twentytwelve: Größe des header-Bildes ändern

Wenn man mit der Größe des header-Bildes im Theme Twentytwelve nicht zufrieden ist, so kann man die Maße ändern.

Das folgende snippet habe ich im Internet gefunden.
(https://wordpress.org/support/topic/twenty-twelve-child-theme-change-header-height/)

<?php
function twentytwelvechild_custom_header_setup() {
$header_args = array( 'height' => 350, 'width' => 960 );
add_theme_support( 'custom-header', $header_args );
}
add_action( 'after_setup_theme', 'twentytwelvechild_custom_header_setup' );
?>

Man fügt es in die functions.php im child-Theme Ordner ein.
Ich habe hier die Höhe des Bildes von 250px auf 350px geändert. ( 18. Oktober 17: Habe ich aktuell gar nicht … sondern die Standardhöhe von 250px )