()
| 2889 | |
| 2890 | start_parse_mappings() { console.time("parse_mappings"); }, |
| 2891 | end_parse_mappings() { console.timeEnd("parse_mappings"); }, |
| 2892 | |
| 2893 | start_sort_by_generated_location() { console.time("sort_by_generated_location"); }, |
| 2894 | end_sort_by_generated_location() { console.timeEnd("sort_by_generated_location"); }, |