Ignore case and whitespaces in the glob filter

refs #10965
This commit is contained in:
Eric Lippmann 2016-04-13 15:54:41 +02:00
parent 4d488ab354
commit b0a6eb5b1e

View File

@ -86,8 +86,10 @@ class GlobFilter
unset($pattern[$i]); unset($pattern[$i]);
} elseif ($subPattern === '.*.*') { } elseif ($subPattern === '.*.*') {
$pattern[$i] = '**'; $pattern[$i] = '**';
} else { } elseif ($subPattern === '.*') {
$pattern[$i] = '/^' . $subPattern . '$/'; $pattern[$i] = '/^' . $subPattern . '$/';
} else {
$pattern[$i] = '/^' . trim($subPattern) . '$/i';
} }
} }