4 ms·
the system tries to generalize, so probably it choose something like \d+ (it is shorter)
by mimmuz 11y ago
the system tries to generalize, so probably it choose something like \d+ (it is shorter)
- nothrabannosir 11y agoDepending on unicode settings, \d != [0-9]. See: http://stackoverflow.com/a/6479605/4359699 http://stackoverflow.com/a/6479605/4359699
- deleted 11y ago[deleted]