2013-06-03 - production
22:57 <kaldari> synchronized php-1.22wmf5/extensions/TimedMediaHandler/resources/mw.MediaWikiPlayerSupport.js 'syncing mw.MediaWikiPlayerSupport.js for TimedMediaHandler bug' [production]