https://bugzilla.wikimedia.org/show_bug.cgi?id=67937
Bug ID: 67937
Summary: TimedMediaHandler media players show as "Error missing
media source" under HHVM
Product: MediaWiki extensions
Version: master
Hardware: All
OS: All
Status: NEW
Severity: normal
Priority: Unprioritized
Component: TimedMediaHandler
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected], [email protected],
[email protected], [email protected],
[email protected]
Web browser: ---
Mobile Platform: ---
Running with MediaWiki-Vagrant, under the default HHVM configuration and
'timedmediahandler' role enabled... Ogg and WebM files used as [[File:blah]] or
as they appear on their File: pages display only as:
"Error missing media source"
Workaround: under Zend PHP, it works.
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
