How to add shortcode tags in single.php [closed]

Another option is to use the do_shortcode() function. This will make WordPress run the shortcode as if it was in the content editor.

So where you want your post tags to appear just put.

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