jenkins-bot has submitted this change and it was merged.
Change subject: Update TimedMediaHandler submodule
......................................................................
Update TimedMediaHandler submodule
New changes:
I51d2a882ff1e52103572e61078809d39f4dc25ab
Follow-up 9649253f6b: Unbreak videos
Change-Id: Ie4cdeeb2e7f72f14fa70e8e358b7a72d772ba1c8
---
M extensions/TimedMediaHandler
1 file changed, 0 insertions(+), 0 deletions(-)
Approvals:
Catrope: Looks good to me, approved
jenkins-bot: Verified
diff --git a/extensions/TimedMediaHandler b/extensions/TimedMediaHandler
index f0f3fb8..3d8b0cf 160000
--- a/extensions/TimedMediaHandler
+++ b/extensions/TimedMediaHandler
-Subproject commit f0f3fb850987fedd2757482ef43dcd7cca07ecfb
+Subproject commit 3d8b0cf00c56361712cbc0c58be0aadbbcad6b2b
--
To view, visit https://gerrit.wikimedia.org/r/168403
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ie4cdeeb2e7f72f14fa70e8e358b7a72d772ba1c8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.25wmf4
Gerrit-Owner: Gergő Tisza <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
