You may be interested in…

<?php echo do_shortcode('[custom_techno_mini_cart]'); ?>