(s)
| 13312 | // http://docs.closure-library.googlecode.com/git/closure_goog_string_string.js.source.html#line962 |
| 13313 | // Prereq: s is a string. |
| 13314 | function escapeForRegexp(s) { |
| 13315 | return s.replace(/([-()\[\]{}+?*.$\^|,:#<!\\])/g, '\\$1'). |
| 13316 | replace(/\x08/g, '\\x08'); |
| 13317 | } |
| 13318 | |
| 13319 | |
| 13320 | function adjustMatcher(matcher) { |