I guess it’s too late but you can use a plugin such as VideoJS to enable video shortcodes like [video].
Then you can insert a shortcode into your template with the do_shortcode() method like this:
<?php echo do_shortcode('[video mp4="/video.mp4" width="200" height="150"']); ?>
I just found out, it’s pretty useful.