https://bugzilla.wikimedia.org/show_bug.cgi?id=16519
--- Comment #7 from Andre Klapper aklap...@wikimedia.org ---
TimedMediaHandler was deployed at the beginning of November 2012, see
https://www.mediawiki.org/wiki/TimedMediaHandler and
https://bugzilla.wikimedia.org/show_bug.cgi?id=16519
Jan Gerber jger...@wikimedia.org changed:
What|Removed |Added
Status|NEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=16519
Nemo_bis federicol...@tiscali.it changed:
What|Removed |Added
Status|ASSIGNED|NEW
--
Configure
https://bugzilla.wikimedia.org/show_bug.cgi?id=16519
Rob Lanphier ro...@wikimedia.org changed:
What|Removed |Added
AssignedTo|tstarl...@wikimedia.org
https://bugzilla.wikimedia.org/show_bug.cgi?id=16519
Maik Merten [EMAIL PROTECTED] changed:
What|Removed |Added
CC||[EMAIL PROTECTED]
https://bugzilla.wikimedia.org/show_bug.cgi?id=16519
--- Comment #3 from Maik Merten [EMAIL PROTECTED] 2008-12-06 16:06:11 UTC ---
Landed a subset of the HTML5 media API with revision 44270. Can you confirm
things are working for you?
--
Configure bugmail:
https://bugzilla.wikimedia.org/show_bug.cgi?id=16519
--- Comment #4 from j^ [EMAIL PROTECTED] 2008-12-06 17:13:41 UTC ---
currentTime = now = pipeline.getPosition() / Clock.SECOND;
that way currentTime is an int, my patch makes it a float,
more cosmetic right now since its only updated once
https://bugzilla.wikimedia.org/show_bug.cgi?id=16519
--- Comment #1 from j^ [EMAIL PROTECTED] 2008-12-01 15:48:43 UTC ---
Created an attachment (id=5547)
-- (https://bugzilla.wikimedia.org/attachment.cgi?id=5547)
here the patch
--
Configure bugmail:
