Fix some edge case.

This commit is contained in:
Lars Jung 2015-05-13 22:30:38 +02:00
parent 2a7b1b1f0d
commit 4f9a298273

View file

@ -52,7 +52,8 @@ class Util {
public static function ends_with($sequence, $tail) {
return substr($sequence, -strlen($tail)) === $tail;
$len = strlen($tail);
return $len === 0 ? true : substr($sequence, -$len) === $tail;
}
public static function wrap_pattern($pattern) {