Improve i18n date/time test performance

pkg/i18n/lib/date_format_helpers.dart

Index: pkg/i18n/lib/date_format_helpers.dart
===================================================================
--- pkg/i18n/lib/date_format_helpers.dart	(revision 10918)
+++ pkg/i18n/lib/date_format_helpers.dart	(working copy)
@@ -125,10 +125,12 @@
    * Assuming that the contents are characters, read as many digits as we
    * can see and then return the corresponding integer. Advance the stream.
    */
+  var digitMatcher = const RegExp(@'\d');
   int nextInteger() {
-    var validDigits = '0123456789';
+    // Doing this with a regular expression is slightly slower on the VM,
+    // but makes a moderate difference in Javascript right now.

[Emily Fortuna, 2012/08/18 00:46:30]

perhaps we could do something a little fancier like find the first non-digit
character using a regular expression, and parse that set of digit charaters
together, so we're not always going digit by digit.

     var digits = [];
-    while (!atEnd() && (validDigits.contains(peek()))) {
+    while (!atEnd() && (digitMatcher.hasMatch(peek()))) {
       digits.add(next().charCodeAt(0));
     }
     return Math.parseInt(new String.fromCharCodes(digits));