Bookmarklet for double speed playback

change_speed_bookmark.js

// ↓をURLにコピペする
javascript:{document.querySelector("video").playbackRate = parseFloat(prompt("倍速(小数)").replace(/[０-９．]/g,(s)=>{return String.fromCharCode(s.charCodeAt(0) - 65248)}));}

// 見やすくするとこんな感じ
// 全角で「１．７」と入力しても大丈夫
document.querySelector("video").playbackRate = parseFloat(
    prompt("倍速(小数)").replace(/[０-９．]/g, (s) => { 
      return String.fromCharCode(s.charCodeAt(0) - 65248) 
}));