html5 allows a poster="" attribute to the <video> tag.
A simple php update allows this extension to make use of it. Might want to add this to the next version:
| line | entire new line of code to enter. |
|---|---|
| 61 | $poster = isset($args['poster']) ? $args['poster'] : 'none'; |
| (now) 69 | $output = '<video width="' . $width . '" height="' . $height . '" poster="' . $wgScriptPath . '/extensions/HTML5video/videos/' . $poster . '" autobuffer controls ' . $autoplay . ' preload="auto" >' . |
| 91 | $output = '<video width="' . $width . '" autobuffer controls ' . $autoplay . ' preload="auto" poster="' . $wgScriptPath . '/extensions/HTML5video/videos/' . $poster . '" >' . |
then just swap your jpeg into the same folder as your vid's, add poster"yourpic.jpg" to your <HTML5video> tag, and voila.
P.S.: the URL in the extension credits is meant to be a direct link to the extension itself.
- line 35:
'url' => 'https://www.mediawiki.org/wiki/Extension:HTML5video',
PPS: If you're using server caching like APC, don't forget to reload the webserver.