()
| 8027 | } |
| 8028 | |
| 8029 | function startCommitTimer() { |
| 8030 | if (enableUserTimingAPI) { |
| 8031 | if (!supportsUserTiming) { |
| 8032 | return; |
| 8033 | } |
| 8034 | isCommitting = true; |
| 8035 | hasScheduledUpdateInCurrentCommit = false; |
| 8036 | labelsInCurrentCommit.clear(); |
| 8037 | beginMark('(Committing Changes)'); |
| 8038 | } |
| 8039 | } |
| 8040 | |
| 8041 | function stopCommitTimer() { |
| 8042 | if (enableUserTimingAPI) { |
no test coverage detected