| Index: utils/apidoc/mdn/extract.dart
|
| diff --git a/utils/apidoc/mdn/extract.dart b/utils/apidoc/mdn/extract.dart
|
| index 4a37154995653f381fb1e6944f9d275896d21cdf..577ed36c856bee6113be1d9987f96d3d66fe6eab 100644
|
| --- a/utils/apidoc/mdn/extract.dart
|
| +++ b/utils/apidoc/mdn/extract.dart
|
| @@ -691,7 +691,7 @@ bool isObsolete(Element e) {
|
| }
|
|
|
| bool isFirstCharLowerCase(String str) {
|
| - return new RegExp("^[a-z]").hasMatch(str);
|
| + return const RegExp("^[a-z]").hasMatch(str);
|
| }
|
|
|
| /**
|
| @@ -943,8 +943,8 @@ String trimHtml(String html) {
|
| }
|
|
|
| bool maybeName(String name) {
|
| - return new RegExp("^[a-z][a-z0-9A-Z]+\$").hasMatch(name) ||
|
| - new RegExp("^[A-Z][A-Z_]*\$").hasMatch(name);
|
| + return const RegExp("^[a-z][a-z0-9A-Z]+\$").hasMatch(name) ||
|
| + const RegExp("^[A-Z][A-Z_]*\$").hasMatch(name);
|
| }
|
|
|
| // TODO(jacobr): this element is ugly at the moment but will become easier to
|
| @@ -967,7 +967,7 @@ String JSONFIXUPHACK(String value) {
|
| }
|
|
|
| String mozToWebkit(String name) {
|
| - return name.replaceFirst(new RegExp("^moz"), "webkit");
|
| + return name.replaceFirst(const RegExp("^moz"), "webkit");
|
| }
|
|
|
| String stripWebkit(String name) {
|
| @@ -1121,10 +1121,10 @@ void run() {
|
| }
|
|
|
| // Fix up links.
|
| - final SHORT_LINK = new RegExp(r'^[\w/]+$');
|
| - final INNER_LINK = new RegExp(r'[Ee]n/(?:[\w/]+/|)([\w#.]+)(?:\(\))?$');
|
| - final MEMBER_LINK = new RegExp(r'(\w+)[.#](\w+)');
|
| - final RELATIVE_LINK = new RegExp(r'^(?:../)*/?[Ee][Nn]/(.+)');
|
| + const SHORT_LINK = const RegExp(r'^[\w/]+$');
|
| + const INNER_LINK = const RegExp(r'[Ee]n/(?:[\w/]+/|)([\w#.]+)(?:\(\))?$');
|
| + const MEMBER_LINK = const RegExp(r'(\w+)[.#](\w+)');
|
| + const RELATIVE_LINK = const RegExp(r'^(?:../)*/?[Ee][Nn]/(.+)');
|
|
|
| // - Make relative links absolute.
|
| // - If we can, take links that point to other MDN pages and retarget them
|
|
|