Code for single.php to inject banner/menu on posts

<?php

get_header();

echo do_shortcode('[et_pb_section global_module="3120"][/et_pb_section]');
echo do_shortcode('[et_pb_section global_module="3123"][/et_pb_section]');

$show_default_title = get_post_meta( get_the_ID(), '_et_pb_show_title', true );

$is_page_builder_used = et_pb_is_pagebuilder_used( get_the_ID() );

?>