String.match(), .search(), .replace(), .split() should use microjs.regex #15
Description
They currently use the Python re module. They should use microjs.regex instead.
{{ message }}
They currently use the Python re module. They should use microjs.regex instead.