diff -r 000000000000 -r 6474c204b198 toolkit/content/widgets/videocontrols.xml --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/toolkit/content/widgets/videocontrols.xml Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,1765 @@ + + + + + + %videocontrolsDTD; +]> + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + if (this.type != "scrubber") + return ""; + + var currTime = this.thumb.timeLabel.getAttribute("value"); + var totalTime = this.durationValue; + + return this.scrubberNameFormat.replace(/#1/, currTime). + replace(/#2/, totalTime); + + + + + "&scrubberScale.nameFormat;" + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +