An HTML5 Video Shortcode can be used to add video in HTML5 format:

html5-1

 

You need to add video in two formats to make sure it will be played n most popular web browsers:

html5-2

Shortcode performance in different themes:

 
This shortcode is available in all themes with identical functionality