diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-06-13 11:12:38 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-06-13 11:12:38 -0700 |
| commit | 2243f840e7562022fe0f3c711d8b41f8550c69d2 (patch) | |
| tree | 5f5ff1079e06ea965421dbb8e2cd151dfcf57ae2 /src/js/fiveui/js/settings.js | |
| parent | f56fe8d4e4b3a062951f687c71b54945802545c1 (diff) | |
Remove url-pat.js
Diffstat (limited to 'src/js/fiveui/js/settings.js')
| -rw-r--r-- | src/js/fiveui/js/settings.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/js/fiveui/js/settings.js b/src/js/fiveui/js/settings.js index 96ec864..15ccf1b 100644 --- a/src/js/fiveui/js/settings.js +++ b/src/js/fiveui/js/settings.js @@ -200,7 +200,7 @@ _.extend(fiveui.Settings.prototype, { return _.find(this.getRuleSets(), function(rs) { var pat = _.find(rs.patterns, function(pat) { - var regex = fiveui.UrlPat.compile(pat); + var regex = fiveui.utils.compilePattern(pat); return regex.test(url); }); |