David 4af41ffce6 ui diff: ensure video name matches output (#37211) ...

* auto name diff.mp4

* ensure output file has .html extension

2026-02-14 13:20:44 -08:00

..

diff.py

ui diff: ensure video name matches output (#37211)

2026-02-14 13:20:44 -08:00

replay.py

mici ui replay: fix indeterminism with swiping and animations (#37110)

2026-02-13 09:26:14 -08:00