mediagoblin/templates/mediagoblin/media_displays/video.html

   1 {% extends 'mediagoblin/user_pages/media.html' %}
   2 {% block mediagoblin_media %}
   3   <div class="video-player" style="position: relative;">
   4     <video class="video-js vjs-default-skin"
   5            width="{{ media.media_data.video.width }}"
   6            height="{{ media.media_data.video.height }}"
   7            controls="controls"
   8            preload="auto"
   9            data-setup="">
  10       <source src="{{ request.app.public_store.file_url(
  11                    media['media_files']['webm_640']) }}"
  12               type="video/webm; codecs=&quot;vp8, vorbis&quot;" />
  13     </video>
  14   </div>
  15   {% if 'original' in media.media_files %}
  16   <p>
  17     <a href="{{ request.app.public_store.file_url(
  18              media['media_files']['original']) }}">
  19       {%- trans -%}
  20         Original
  21       {%- endtrans -%}
  22     </a>
  23   </p>
  24   {% endif %}
  25 {% endblock %}