src/Lib/StringTool.php
public static function remove_leading($string, $leading_string)
    {
        if (StringTool :: start_with($string, $leading_string))
        {
            return substr($string, strlen($leading_string));
        }
        else
        {
            return $string;
        }
    }
public static function remove_leading($string, $leading_string)
    {
        if (StringTool :: start_with($string, $leading_string))
        {
            return substr($string, strlen($leading_string));
        }
        else
        {
            return $string;
        }
    }
public static function remove_leading ( $ string , $ leading_string ) { if ( StringTool :: start_with ( $ string , $ leading_string ) ) { return substr ( $ string , strlen ( $ leading_string ) ) ; } else { return $ string ; } }
Remove a leading string from a string if it exists
@param string $string The string that must be shortened if it starts with a leading string
@param string $leading_string The leading string
@return string
Remove a leading string from a string if it exists