WHAT

• video プラグインを使って動画を再生させようとすると500エラーになる
  • PHP7.1 の環境で再現する
• 上記現象を修正する

WHY

• PHP7.1(7も？）で video プラグインが使えないので