Function endsWith

tools/common_functions.php:55–61

returns true if $string ends with $end, return false otherwise

($string, $end)

/// returns true if $string ends with $end, return false otherwise
function endsWith($string, $end) {
  if(substr($string,-1*strlen($end)) == $end)
  {
    return true;
  }
  return false;
}

/// returns the prefix of length $length of string $string
function prefix($string, $length) {