This is in chrome/toolkit/content/global/elements/videocontrols.js for normal videos and actors/PictureInPictureChild.jsm for picture-in-picture videos, and s/(newval = oldval [+-]) 15;/\1 5/ as the regex, though the exact increment will probably be user-controllable. However, for the first time, this needs to edit the globalomni.ja file, not the browser/omni.ja! Also, this will be the first option to accept a specified value.
Fixes Bugzilla Bug 1668692: Change seeking increment from 15s to 5s in the built-in video controls.
This is in
chrome/toolkit/content/global/elements/videocontrols.jsfor normal videos andactors/PictureInPictureChild.jsmfor picture-in-picture videos, ands/(newval = oldval [+-]) 15;/\1 5/as the regex, though the exact increment will probably be user-controllable. However, for the first time, this needs to edit the globalomni.jafile, not thebrowser/omni.ja! Also, this will be the first option to accept a specified value.