removePrefix function

String removePrefix(
  1. String text,
  2. String prefix
)

Implementation

String removePrefix(
    String text,
    String prefix
    )
{
    if ( prefix.isNotEmpty
         && text.startsWith( prefix ) )
    {
        return text.substring( prefix.length );
    }
    else
    {
        return text;
    }
}