Kovid Goyal 2b3865f74e Refactor timestamps JS ...

It is safe to use innerHTML since the strings we are using it with are
under out control

2023-05-31 20:53:03 +05:30

..

custom.css

Update custom.css

2022-09-30 08:44:09 +08:00

custom.js

…

poster.png

…

timestamps_source.js

Refactor timestamps JS

2023-05-31 20:53:03 +05:30

timestamps.css

Add timestamps under introductory video

2023-05-31 15:42:48 +03:00

timestamps.js

Refactor timestamps JS

2023-05-31 20:53:03 +05:30