/**----------------------------------------------------------------------------\
| Trims prefixes off of strings. |
+------------------------------------------------------------------------------+
| Usage: |
| echo trim_prefix('hello_world', 'hello_'); |
| |
| Result: |
| world |
+---------+--------+---------+-------------------------------------------------+
| @param | string | $string | A string with a prefix to be trimmed. |
| @param | string | $prefix | The prefix to trim. |
| | | | |
| @return | string | | The string minus its prefix. |
\---------+--------+---------+------------------------------------------------*/
function trim_prefix($string, $prefix = ' '){
$length = strlen($prefix);
if(substr($string, 0, $length) === $prefix){
return substr($string, $length);
}
return $string;
}