src/Type/StdString.php
function stripPrefix($prefix)
    {
        $key = (string) $this;

        if (substr($key, 0, strlen($prefix)) == $prefix)
            $key = substr($key, strlen($prefix));

        return new self($key);
    }
function stripPrefix($prefix)
    {
        $key = (string) $this;

        if (substr($key, 0, strlen($prefix)) == $prefix)
            $key = substr($key, strlen($prefix));

        return new self($key);
    }
function stripPrefix ( $ prefix ) { $ key = ( string ) $ this ; if ( substr ( $ key , 0 , strlen ( $ prefix ) ) == $ prefix ) $ key = substr ( $ key , strlen ( $ prefix ) ) ; return new self ( $ key ) ; }
Remove a prefix string from the beginning of a string

@param string $prefix

@return StdString
Remove a prefix string from the beginning of a string