dropLeadingUserNumber function

String dropLeadingUserNumber(
  1. String s
)

Implementation

String dropLeadingUserNumber(String s) {
  final i = s.indexOf(" ");
  if (i != -1 && parseUserNumber(s.substring(0, i)) != null) {
    return s.substring(i + 1);
  } else {
    return s;
  }
}