<?php
echo do_shortcode( ‘