Date.toLocaleTimeString does not support option hour12

[saibing]

quickjs version: 2024-01-13

~/git/c/quickjs-2024-01-13$ qjs
QuickJS - Type "\h" for help
qjs > console.log(new Date().toLocaleTimeString("en-US", { hour12: false }));
10:13:46 AM
undefined
qjs >

Expected output '10:13:46', actual output '10:13:46 AM'