Change header crop size for twentythirteen child theme

Hello!

There are several closed threads here about this, even though none present a good answer.

So here is the way I have applied filters to change the cropping size of the header image in a child theme for twentythirteen.

I placed this in a new functions.php file in my child theme folder:

<?php
define( 'HEADER_IMAGE_WIDTH', apply_filters( 'twentythirteen_header_image_width', 1600 ) );
define( 'HEADER_IMAGE_HEIGHT', apply_filters( 'twentythirteen_header_image_height', 630 ) );
?>

You will of course also have to change your CSS styling.