В качестве запасного варианта у меня есть несколько HTML5-видео с анимированными GIF-файлами. К сожалению, GIF загружаются, даже если поддерживается видео HTML5.

Без использования javascript, есть ли способ остановить браузер от загрузки запасного контента HTML5? Если нет, я просто буду использовать jquery, но хотел бы знать, было ли решение не-js.

<video>
  <source src="animation-1.mp4" type="video/mp4">
  <img src="animation-1.gif">
</video>
<video>
  <source src="animation-2.mp4" type="video/mp4">
  <img src="animation-2.gif">
</video>
<video>
  <source src="animation-3.mp4" type="video/mp4">
  <img src="animation-3.gif">
</video>

Сетевой инспектор показывает, что Firefox (а также Chrome) определенно загружают GIF: