Formats milliseconds as seconds with 1 decimal place. Example: formatSecondsShort(1234) returns "1.2s".
formatSecondsShort(1234)
"1.2s"
String formatSecondsShort(int ms) { return '${(ms / 1000).toStringAsFixed(1)}s'; }